Cynbe's Humongous Hotlist:
Mixed Net Knowledge, Knick-Knacks & Nuts

Cynbe ru Taren

Viva la Net! Viva la Net libre! :)
See: A Declaration of the Independence of Cyberspace.
See also my personal comments on obscenity and censorship.
Or check out George Washington on Practical Slavery,
the US Supreme Court on Patents or the Rev Davidson Loehr on that newly essential American survival skill -- Living Under Fascism.

The most important paper you'll ever ignore: Risk Charts

The man who saved your life: Vasili Arkhipov

(NB: Computer vision papers have been moved to a separate page.)

To read:
2012-05-14 Density Sensitive Hashing for nearest-neighbor searches.
Unsupervised Discovery of Mid-Level Discriminative Patches in computer vision.
Texture Analysis And Characterization Using Probability Fractal Descriptors
Operads, clones, and distributive laws
Robust Head Pose Estimation Using Contourlet Transform
2012-05-13 Dynamic Loop Parallelisation
Mesh Learning for Classifying Cognitive Processes
Open Data Visualization: Keeping Traces of the Exploration Process
Refining Inductive Types -- hammering away on making dependent types practically useful.
Most Relevant Explanation: Properties, Algorithms, and Evaluations
Herding Dynamic Weights for Partially Observed Random Field Models
Exploring compact reinforcement-learning representations with linear regression
Ordinal Boltzmann Machines for Collaborative Filtering
Measuring Inconsistency in Probabilistic Knowledge Bases
Products of Hidden Markov Models: It Takes N>1 to Tango
Regret-based Reward Elicitation for Markov Decision Processes
Virtual Vector Machine for Bayesian Online Classification
Convexifying the Bethe Free Energy -- taming loopy belief propagation.
Convergent message passing algorithms - a unifying view
Quantifying the Strategyproofness of Mechanisms via Metrics on Payoff Distributions
Multi-Task Feature Learning Via Efficient l2,1-Norm Minimization
Improving Compressed Counting
MAP Estimation of Semi-Metric MRFs via Hierarchical Graph Cuts
The Temporal Logic of Causal Structures
Monolingual Probabilistic Programming Using Generalized Coroutines
Counting Belief Propagation
New inference strategies for solving Markov Decision Processes using reversible jump MCMC
Censored Exploration and the Dark Pool Problem
Generating Optimal Plans in Highly-Dynamic Domains
Correlated Non-Parametric Latent Feature Models -- generalizing the Indian Buffet Process.
Seeing the Forest Despite the Trees: Large Scale Spatial-Temporal Decision Making
L2 Regularization for Learning Kernels
Prediction Markets, Mechanism Design, and Cooperative Game Theory
Mean Field Variational Approximation for Continuous-Time Bayesian Networks
Multilingual Topic Models for Unaligned Text
Deterministic POMDPs Revisited -- looks like good overview at start.
Are visual dictionaries generalizable?
Group Sparse Priors for Covariance Estimation
Identifying confounders using additive noise models
Optimization of Structured Mean Field Objectives
2012-05-07 Robot Navigation using Reinforcement Learning and Slow Feature Analysis
DBC based Face Recognition using DWT
A novel statistical fusion rule for image fusion and its comparison in non subsampled contourlet transform domain and wavelet domain
A Novel Method For Speech Segmentation Based On Speakers' Characteristics
Approximate Dynamic Programming By Minimizing Distributionally Robust Bounds
Discovering Algorithms with Matrix Code
Graph spectra and the detectability of community structure in networks
The Natural Gradient by Analogy to Signal Whitening, and Recipes and Tricks for its Use
Fast Optimal Joint Tracking-Registration for Multi-Sensor Systems
2012-04-30 Background subtraction based on Local Shape
A 3D Segmentation Method for Retinal Optical Coherence Tomography Volume Data
Catroid: A Mobile Visual Programming System for Children
Minimum Description Length Principle for Maximum Entropy Model Selection
Active Contour with A Tangential Component Geodesic Snakes -- GeoSnakes.
Human pose tracking by parametric annealing
Residual Belief Propagation for Topic Modeling
Elimination of Glass Artifacts and Object Segmentation
Two SVDs Suffice: Spectral decompositions for probabilistic topic modeling and latent Dirichlet allocation
B-Rank: A top N Recommendation Algorithm
A United Image Force for Deformable Models and Direct Transforming Geometric Active Contorus to Snakes by Level Sets
Using high performance computing and Monte Carlo simulation for pricing american options
On the equivalence of game and denotational semantics for the probabilistic mu-calculus
TH*:Scalable Distributed Trie Hashing
Exact Wavelets on the Ball
Climbing on Pyramids
2012-04-24 Numerical Analysis of Diagonal-Preserving, Ripple-Minimizing and Low-Pass Image Resampling Methods -- image resizing made intimidating.
Morphological Filtering in Shape Spaces: Applications using Tree-Based Image Representations
String trees asking "How many different unlabelled trees can one make from N nodes?" among other things.
Big-Five Personality Prediction Based on User Behaviors at Social Network Sites
A Unified Multiscale Framework for Discrete Energy Minimization
Evaluation of the Design Metric to Reduce the Number of Defects in Software Development
Regenerating codes: what matters in practice? -- the theory guys address lowly practitioners.
Smart Sort: Design and Analysis of a Fast, Efficient and Robust Comparison Based Internal Sort Algorithm
Inequality and Investment Bubbles: A Clearer Link Is Established
Time and Space Efficient Lempel-Ziv Factorization based on Run Length Encoding
The Design of GP 2
Regret Analysis of Stochastic and Nonstochastic Multi-armed Bandit Problems
Kolmogorov Complexity, Causality And Spin
Hybrid FPMS: A New Fairness Protocol Management Scheme for Community Wireless Mesh Networks
Using entropy measures for comparison of software traces
2012-04-22 Cryptree: A Folder Tree Structure for Cryptographic File Systems
Dynamic Template Tracking and Recognition
2012-04-19 Message passing with relaxed moment matching -- escalating from belief propagation to expectation propagation, and beyond.
Statistical Multiresolution Estimation for Variational Imaging: With an Application in Poisson-Biophotonics and inpainting (e.g., overlaid text removal) etc.
Network structure of inter-industry flows
Beyond Random Walk and Metropolis-Hastings Samplers: Why You Should Not Backtrack for Unbiased Graph Sampling
The game of go as a complex network, also published here

Positive words carry less information than negative words
2012-04-16 Using Mimicry to Learn about Mental Representations
Optimizing Scrip Systems: Crashes, Altruists, Hoarders, Sybils and Collusion
Information and the arrow of time
Fully dynamic maximal matching in O(log n) update time
2012-04-13 Simultaneous Object Detection, Tracking, and Event Recognition in linear asymptotic time.
Video In Sentences Out
An Efficient Cryptographic Hash Algorithm (BSA)
Seeing Unseeability to See the Unseeable
2012-04-09 Continuous Markov Random Fields for Robust Stereo Estimation
Efficient computational noise in GLSL
Learning to relate images: Mapping units, complex cells and simultaneous eigenspaces
Nearly Optimal Sparse Fourier Transform
The steepest watershed: from graphs to images
Affine Image Registration Transformation Estimation Using a Real Coded Genetic Algorithm with SBX
A sparse octree gravitational N-body code that runs entirely on the GPU processor -- 2.8 million particles/sec on NVIDIA card. (Is this the same as Bonsai: A GPU Tree-Code?)
Learning Topic Models - Going beyond SVD
Vision-Based Cooperative Estimation of Averaged 3D Target Pose under Imperfect Visibility
CinemaGazer: a System for Watching Video at Very High Speed
2012-04-06 Principal Component Analysis-Linear Discriminant Analysis Feature Extractor for Pattern Recognition
Optimization of UAV Heading for the Ground-to-Air Uplink
2012-04-02 Face Expression Recognition and Analysis: The State of the Art
Adaptive Gaussian Mixture Filter Based on Statistical Linearization
The Kernelized Stochastic Batch Perceptron
Efficient Fruit Defect Detection and Glare removal Algorithm by anisotropic diffusion and 2D Gabor filter
2012-03-30 Scalable K-Means++ -- parallelizing the latest tweak.
2012-03-26 $k$-MLE: A fast algorithm for learning statistical mixture models
Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge
A linear time algorithm for the next-to-shortest path problem on undirected graphs with nonnegative edge lengths
Post-Editing Error Correction Algorithm for Speech Recognition using Bing Spelling Suggestion
Entropy-based Tuning of Musical Instruments
Posterior Mean Super-Resolution with a Compound Gaussian Markov Random Field Prior
Acceleration of the shiftable O(1) algorithm for bilateral filtering and non-local means -- faster computer vision pixel munging.
Self-Healing by Means of Runtime Execution Profiling
Towards a Mathematical Theory of Super-Resolution
Onboard Flight Control of a Small Quadrotor Using Single Strapdown Optical Flow Sensor
Real-time Image-based 6-DOF Localization in Large-Scale Environments
Aperiodic Pseudo Random Number Generation from Chaos
Ropes: an Alternative to Strings (1995) by Hans-J. Boehm , Russ Atkinson , Michael Plass
Chris Osaki's thesis under Robert Harper et all -- basically version zero of his (marvelous!) Purely Functional Datastructures book.
2012-03-22 On a New Method of Storing a Variable Size Array
Texture Classification Approach Based on Combination of Edge & Co-occurrence and Local Binary Pattern
How to Estimate Change from Samples
An Annotation Scheme for Reichenbach's Verbal Tense Structure
Kernel Density Feature Points Estimator for Content-Based Image Retrieval
2012-03-20 Bayesian Rose Trees
An Online Learning-based Framework for Tracking
Super-Samples from Kernel Herding
Distribution over Beliefs for Memory Bounded Dec-POMDP Planning
Inferring deterministic causal relations
A Scalable Method for Solving High-Dimensional Continuous POMDPs Using Local Approximation
Real-Time Scheduling via Reinforcement Learning
Formula-Based Probabilistic Inference
Regularized Maximum Likelihood for Intrinsic Dimension Estimation
The Hierarchical Dirichlet Process Hidden Semi-Markov Model
Combining Spatial and Telemetric Features for Learning Animal Movement Models
BEEM : Bucket Elimination with External Memory
Bayesian exponential family projections for coupled data sources -- exponential family extensions of principal component analysis (EPCA).
Anytime Planning for Decentralized POMDPs using Expectation Maximization
Robust LogitBoost and Adaptive Base Class (ABC) LogitBoost
Approximating Higher-Order Distances Using Random Projections for nearest-neighbor etc.
Solving Hybrid Influence Diagrams with Deterministic Variables
Negative Tree Reweighted Belief Propagation
Parameter-Free Spectral Kernel Learning for mining unlabelled data.
Dirichlet Process Mixtures of Generalized Mallows Models
Parametric Return Density Estimation for Reinforcement Learning
Automated Planning in Repeated Adversarial Games
A Family of Computationally Efficient and Simple Estimators for Unnormalized Statistical Models
Sparse-posterior Gaussian Processes for general likelihoods
Exact and Approximate Inference in Associative Hierarchical Networks using Graph Cuts
Modeling Events with Cascades of Poisson Processes
Online Semi-Supervised Learning on Quantized Graphs for face recogniztion and OCR.
Primal View on Belief Propagation
Truthful Feedback for Sanctioning Reputation Mechanisms
Hybrid Generative/Discriminative Learning for Automatic Image Annotation
Solving Multistage Influence Diagrams using Branch-and-Bound Search
Learning Structural Changes of Gaussian Graphical Models in Controlled Experiments
Invariant Gaussian Process Latent Variable Models and Application in Causal Discovery applied to human motion capture.
Multi-Domain Collaborative Filtering
Automatic Tuning of Interactive Perception Applications
RAPID: A Reachable Anytime Planner for Imprecisely-sensed Domains
Artimate: an articulatory animation framework for audiovisual speech synthesis
Learning Feature Hierarchies with Centered Deep Boltzmann Machines
2012-03-15 Combinatorial Selection and Least Absolute Shrinkage via the CLASH Algorithm
Hybrid Poisson and multi-Bernoulli filters and Alternative multi-Bernoulli filters (extended version)
Integrated three-dimensional reconstruction using reflectance fields
The Leviathan model: Absolute dominance, generalised distrust and other patterns emerging from combining vanity with opinion propagation
2012-03-11 In Recognizing Faces, the Whole Is Not Greater Than the Sum of Its Parts -- Optimal Bayesian Integrator rules! (Jason M Gold, Patrick J Mundy + Bosco S Tjan, Psychological Science.)
2012-03-14 Combinatorial Selection and Least Absolute Shrinkage via the CLASH Algorithm
Integrated three-dimensional reconstruction using reflectance fields
A Receding Horizon Strategy for Systems with Interval-Wise Energy Constraints
2012-03-08 An Optimized Sparse Approximate Matrix Multiply O(N*log(N))
Flow-based reputation: more than just ranking
Enhancement Techniques for Local Content Preservation and Contrast Improvement in Images
The Extraordinary SVD
Worst-case Optimal Join Algorithms
Substructure and Boundary Modeling for Continuous Action Recognition
Type-Preserving Flow Analysis and Interprocedural Unboxing (Extended Version)
Graph partitioning advance clustering technique
2012-03-06 Learning DNF Expressions from Fourier Spectrum
Manual and Fast C Code Optimization
A Method of Moments for Mixture Models and Hidden Markov Models
Search Combinators
2012-02-29 Maximum Inner-Product Search using Tree Data-structures: "up to five orders of magnitude improvement in query time" -- or your money back! :-)
One Decade of Universal Artificial Intelligence
k-Color Multi-Robot Motion Planning
GPU acceleration of the particle filter: the Metropolis resampler
Fast approximations to structured sparse coding and applications to object classification -- fast SIFT.
Stable image reconstruction using total variation minimization
Principal Component Pursuit with Reduced Linear Measurements
Eye Pupil Location Using Webcam
Filling-Based Techniques Applied to Object Projection Feature Estimation -- 3d motion tracking for computer vision.
Sublinear Time Approximate Sum via Uniform Random Sampling
Learning from Distributions via Support Measure Machines
Perturbation of the Eigenvectors of the Graph Laplacian: Application to Image Denoising
Image Fusion and Re-Modified SPIHT for Fused Image
Typing Copyless Message Passing -- tweaking linear logic.
Homeomorphic approximation of the intersection curve of two rational surfaces
Certified Approximation of Parametric Space Curves with Cubic B-spline Curves
Multi-Level Feature Descriptor for Robust Texture Classification via Locality-Constrained Collaborative Strategy
Algorithms for Learning Kernels Based on Centered Alignment
Change-Point Detection in Time-Series Data by Relative Density-Ratio Estimation
A Contextual-Bandit Approach to Personalized News Article Recommendation
Merging BSP Trees Yields Polyhedral Set Operations -- 1990 one approach to (e.g.) CSG on triangle meshes.
Fast, Exact, Linear Booleans -- a 2009 UT/Austin approach to (e.g.) CSG on triangle meshes.
Exact and Robust (Self-)Intersections for Polygonal Meshes -- yet another CSG on triangle meshes paper (2010)
2012-02-25 Computing Lempel-Ziv Factorization Online via wavelet trees, no less.
On the Power of Manifold Samples in Exploring Configuration Spaces and the Dimensionality of Narrow Passages -- fast multirobot motion planning.
Efficient and Effective Volume Visualization with Enhanced Isosurface Rendering
Register Allocation By Model Transformer Semantics -- "larger solution space", "more optimization opportunities" "seamless live range splitting" "simplifies compiler"
An Incremental Sampling-based Algorithm for Stochastic Optimal Control -- robotic motion control planning via random sampling.
Mod-CSA: Modularity optimization by conformational space annealing -- outperforming and outscaling the reigning simulated annealing solution.
2012-02-22 Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs -- interposing denotational semantics between program text and verification.
Multilevel Image Encryption
Strongly universal string hashing is fast
A Planarity Test via Construction Sequences -- same result, less code?
Improvements on "Fast space-variant elliptical filtering using box splines"
2012-02-20 Learning is planning: near Bayes-optimal reinforcement learning via Monte-Carlo tree search
Factored Filtering of Continuous-Time Systems in robotics etc.
Filtered Fictitious Play for Perturbed Observation Potential Games and Decentralised POMDPs -- 100% better.
A temporally abstracted Viterbi algorithm -- for speech recognition etc.
Boosting as a Product of Experts
Efficient Inference in Markov Control Problems in robotics etc.
Hierarchical Affinity Propagation
Reasoning about RoboCup Soccer Narratives
Sum-Product Networks: A New Deep Architecture for better image completion etc.
Fractional Moments on Bandit Problems
Generalized Principal Component Analysis (GPCA) with applications to face clustering, video segmentation etc.
2012-02-13 Streaming an image through the eye: The retina seen as a dithered scalable image coder
An evaluation of local shape descriptors for 3D shape retrieval
Proceedings Fourth Workshop on Mathematically Structured Functional Programming
A High Order Sliding Mode Control with PID Sliding Surface: Simulation on a Torpedo
The artifacts of component-based development
Efficient Web-based Facial Recognition System Employing 2DHOG
Self-healing using virtual structures -- ForgivingTree and ForgivingGraph.
Using Covariance Matrices as Feature Descriptors for Vehicle Detection from a Fixed Camera
Craniofacial reconstruction as a prediction problem using a Latent Root Regression model
RASID: A Robust WLAN Device-free Passive Motion Detection System -- wifi boxes as indoor radar.
Optimal State-Space Reduction for Pedigree Hidden Markov Models
Minimax Option Pricing Meets Black-Scholes in the Limit
A linear-time algorithm for finding a complete graph minor in a dense graph
Let Us Dance Just a Little Bit More --- On the Information Capacity of the Human Motor System
Visual definition of procedures for automatic virtual scene generation
Generalized Boosting Algorithms for Convex Optimization
Unstructured Human Activity Detection from RGBD Images
They Know Where You Live!
Finding the most biased coin with fewest flips -- the multi-arm bandit rides again.
Control of Towing Kites for Seagoing Vessels
2012-02-10 3D Model Assisted Image Segmentation
Arduino Tool: For Interactive Artwork Installations
Non-parametric convolution based image-segmentation of ill-posed objects applying context window approach
Informed Source Separation using Iterative Reconstruction
2012-02-08 Information Forests
On the Performance of Maximum Likelihood Inverse Reinforcement Learning
Beyond Sentiment: The Manifold of Human Emotions
Robust seed selection algorithm for k-means type algorithms
Automatic Clustering with Single Optimal Solution
Allocations for Heterogenous Distributed Storage
Data Exchange Problem with Helpers -- bittorrent type stuff.
Combined Haar-Hilbert and Log-Gabor Based Iris Encoders
Learning to Place New Objects in a Scene
Multi-outcome and Multidimensional Market Scoring Rules
Network Coded Gossip with Correlated Data
Genetic algorithms in astronomy and astrophysics
2012-02-06 Practical Conditions for Well-behaved-ness of Anisotropic Voronoi Diagrams
Alternating Markov Chains for Distribution Estimation in the Presence of Errors
Improving feature selection algorithms using normalised feature histograms
Recommender Systems -- the physicists' take.
2012-02-02 Resolving Implementation Ambiguity and Improving SURF -- finding matching points in pairs of images.
Comparing Background Subtraction Algorithms and Method of Car Counting
2012-01-26 Constraint Propagation as Information Maximization
Dynamic Session Key Exchange Method using Two S-Boxes -- improving on Diffie-Hellman
RT-SLAM: A Generic and Real-Time Visual SLAM Implementation: practical realtime open source robotics in C++ at 60HZ/640x480. Standard solution uses EKF (extended kalman filters), this paper presents another approach. (SLAM=="Simultaneous Location and Mapping" -- see eg An introduction to Robot SLAM).
Faster and Simpler Minimal Conflicting Set Identification with applications from VLSI through planar embeddings to ancenstral genome reconstruction.
Efficient FMM accelerated vortex methods in three dimensions via the Lamb-Helmholtz decomposition -- efficient simulation of incompressible fluids. (FMM == "fast multipole method".)
2012-01-22 A Novel Approach to Fast Image Filtering Algorithm of Infrared Images based on Intro Sort Algorithm
Fault Localization for Java Programs using Probabilistic Program Dependence Graph
Parameter Identification in a Probabilistic Setting
Image decomposition with anisotropic diffusion applied to leaf-texture analysis
A Geometric Analysis of Subspace Clustering with Outliers
A simple D^2-sampling based PTAS for k-means and other Clustering Problems
Collaborative Personalized Web Recommender System using Entropy based Similarity Measure
On Shore and Johnson properties for a Special Case of Csiszár f-divergences
Applications of topology in computer algorithms -- interesting end-of-career retrospective braindump of a very applied mathematician.
2012-01-17 Finding Convex Hulls Using Quickhull on the GPU
Spring Embedders and Force Directed Graph Drawing Algorithms -- a review/survey article.
Throughput Scaling Of Convolution For Error-Tolerant Multimedia Applications -- speeding up cross-correlation and convolution>
Using Neighborhood Diversity to Solve Hard Problems -- another arrow in the treewidth/vertexcover quiver.
Tacit knowledge mining algorithm based on linguistic truth-valued concept lattice
Automatic system for counting cells with elliptical shape -- a nice exercise in combining standard algorithms to construct a complete vision-task solution.
A New Color Feature Extraction Method Based on Dynamic Color Distribution Entropy of Neighborhoods
Closed Contour Fractal Dimension Estimation by the Fourier Transform
Shape analysis using fractal dimension: a curvature based approach
Fractal Descriptors in the Fourier Domain Applied to Color Texture Analysis
The Logic of Parametric Probability
Fast Normalized Cross-Correlation (ILM).
Jacob Rosen whose UCSC Bionics lab does much robosurgery and exoskeleton type stuff including early work that led to the UW open-source robosurgery platform Raven
2012-01-16 Automatic Image Segmentation based on MRF-MAP
2012-01-15 OpenVSP NASA-contributed software to "create a 3D model of an aircraft defined by common engineering parameters"
2012-01-13 Nearly Optimal Sparse Fourier Transform -- beating FFT. (See also Simple and Practical Algorithm for Sparse Fourier Transform from the same group.)
Sparse Reward Processes
Autonomous Cleaning of Corrupted Scanned Documents - A Generative Modeling Approach
SybilControl: Practical Sybil Defense with Computational Puzzles -- DHT's that work even when 20% of nodes are malicious.
Musical Modes, Their Associated Chords and Their Musicality
On B-spline framelets derived from the unitary extension principle
2012-01-10 Exact Symbolic-Numeric Computation of Planar Algebraic Curves
A United Image Force for Deformable Models and Direct Transforming Geometric Active Contours to Snakes by Level Sets
Feature Selection via Regularized Trees
Identifying and Analysis of Scene Mining Methods Beased on Scenes Extracted Features
Committee Algorithm: An Easy Way to Construct Wavelet Filter Banks
Improvement of Anomoly Detection Algorithms in Hyperspectral Images using Discrete Wavelet Transform
Adaptive Noise Reduction Scheme for Salt and Pepper
Adaptive Context Tree Weighting for data compression.
Faster deterministic integer factorization
A comparison of two suffix tree-based document clustering algorithms
2012-01-08 Abstracting Runtime Heaps for Program Understanding
A Thermodynamical Approach for Probability Estimation
Interactive Character Posing by Sparse Coding
Picture Collage with Genetic Algorithm and Stereo vision
2011-12-31 Abstracting Path Conditions to improve test coverage.
Semantics and Algorithms for Parametric Monitoring
Building high-level features using large scale unsupervised learning
Descriptor learning for omnidirectional image matching
Multi-q Analysis of Image Patterns why Tsallis entropy does 3X better than classic Boltzmann-Gibbs-Shannon entropy.
Clustering under Perturbation Resilience
2011-12-26 Critical Data Compression by modelling signal and noise separately.
A Study on Using Uncertain Time Series Matching Algorithms in Map-Reduce Applications
Sparse matrix-vector multiplication on GPGPU clusters: A new storage format and a scalable implementation
Tight lower bounds for online labeling problem -- latest on the file maintainance problem -- assigning dense integer indices to sparsely distributed values, recently of interest re "cache-oblivious B-trees".
Discretization of Parametrizable Signal Manifolds -- lower-dimensionality image processing etc, also Learning Smooth Pattern Transformation Manifolds
Fast Inexact Graph Matching with Applications in Statistical Connectomics
Dynamics of competing ideas in complex social systems
Minimax Rates for Homology Inference for medical imaging etc
Model Cortical Association Fields Account for the Time Course and Dependence on Target Complexity of Human Contour Perception
2011-12-12 Combining One-Class Classifiers via Meta-Learning
Ranking and clustering of nodes in networks with smart teleportation -- tweaking PageRank
Zero-Temperature Limit of a Convergent Algorithm to Minimize the Bethe Free Energy -- latest on Loopy Belief Propagation.
Towards Optimal One Pass Large Scale Learning with Averaged Stochastic Gradient Descent -- a theoretical curiosity becomes practical.
2011-12-16 MINE software ("freely downloadable") claims to search for arbitrary patterns in masses of scientific data.
Title: Quantifying synergistic information remains an unsolved problem
ScoreAHit -- using Time-Shifting Ridge Regression (TSRR) on audio features to retrodict top UK Top40 weekly single for the last 40 years.
Lazy Pointer Analysis in gcc.
2011-12-14 Large Scale Correlation Clustering Optimization in computer vision.
Supervised Generative Reconstruction: An Efficient Way To Flexibly Store and Recognize Patterns ... "the brain may [use] a similar approach".
Fast convolution-based methods for computing the signed distance function and its derivatives
Robust Learning via Cause-Effect Models
Phase transition to two-peaks phase in an information cascade voting experiment
Learning in embodied action-perception loops through exploration
Multi-timescale Nexting in a Reinforcement Learning Robot
2011-12-11 How to Gamble If You're In a Hurry
Bipartite ranking algorithm for classification and survival analysis -- Smooth Rank generalizes Naive Bayesian and Weighted Voting(?)
An Information Theoretic Analysis of Decision in Computer Chess -- understanding the effectiveness of the modern fractional-ply searching as maximization of expected information gain. See also Information and Search in Computer Chess
2011-12-06 A New Approach to Incremental Cycle Detection and Related Problems -- Tarjan strikes again!
Clustering under Perturbation Resilience
Worst-Case Optimal Priority Queues via Extended Regular Counters
How Not to Win a Million Dollars: A Counterexample to a Conjecture of L. Breiman
Predicting Financial Markets: Comparing Survey,News, Twitter and Search Engine Data
2011-12-03 Local Naive Bayes Nearest Neighbor for Image Classification
Domain Theory and the Logic of Observable Properties
Mask Iterative Hard Thresholding Algorithms for Sparse Image Reconstruction of Objects with Known Contour
A Learning Framework for Self-Tuning Histograms
2011-12-01 Bandit Market Makers
2011-11-28 Distributed Representation of Geometrically Correlated Images with Compressed Linear Measurements
A New Proposed Technique to Improve Software Regression Testing Cost
Estimation of the Embedding Capacity in Pixel-pair based Watermarking Schemes
Serf and Turf: Crowdturfing for Fun and Profit
Evolving Chart Pattern Sensitive Neural Network Based Forex Trading Agents
An image processing of a Raphael's portrait of Leonardo
2011-11-25 A New Round Robin Based Scheduling Algorithm for Operating Systems: Dynamic Quantum Using the Mean Average
Contextually Guided Semantic Labeling and Search for 3D Point Clouds
A Decentralized Architecture for Enforcing Privacy in Online Social Networks
Randomized Speedup of the Bellman-Ford Algorithm
2011-11-22 The Anatomy of the Facebook Social Graph
Redundant Wavelets on Graphs and High Dimensional Data Clouds and image denoising.
Incremental Learning with Accuracy Prediction of Social and Individual Properties from Mobile-Phone Data
Compiler Optimization: A Case for the Transformation Tool Contest; Program Understanding: A Reengineering Case for the Transformation Tool Contest; Solving the TTC 2011 Compiler Optimization Task with metatools
Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations
Solving the TTC 2011 Reengineering Case with GrGen.NET
Enhancement of Image Resolution by Binarization
Chebyshev Polynomials in Distributed Consensus Applications -- "achieves the consensus using far less iterations than other approaches".
Distributed Multi-view Matching in Networks with Limited Communications
A weighted message-passing algorithm to estimate volume-related properties of random polytopes
A Navigation Algorithm Inspired by Human Navigation
Comparative study of Financial Time Series Prediction by Artificial Neural Network with Gradient Descent Learning
Universal Computation is 'Almost Surely' Chaotic
Biased diffusion on Japanese inter-firm trading network: Estimation of sales from network structure
Towards a Theory of Anonymous Networking
Message-Passing Estimation from Quantized Samples
Partition Function Expansion on Region-Graphs and Message-Passing Equations
Anthropic decision theory
The Object Projection Feature Estimation Problem in Unsupervised Markerless 3D Motion Tracking
A Facial Expression Classification System Integrating Canny, Principal Component Analysis and Artificial Neural Network
2011-11-16 Computing a visibility polygon using few variables
Positivity of the English language
Universal MMSE Filtering With Logarithmic Adaptive Regret
No Free Lunch versus Occam's Razor in Supervised Learning
(Non-)Equivalence of Universal Priors
Recipe recommendation using ingredient networks
Model-based Utility Functions
2011-11-14 Down the Rabbit Hole: Robust Proximity Search in Sublinear Space
A Comprehensive Study of Commonly Practiced Heavy and Light Weight Software Methodologies
Performance of Cache Memory Subsystems for Multicore Architectures
A multiprecision matrix calculation library and its extension library for a matrix-product-state simulation of quantum computing
Tracing the temporal evolution of clusters in a financial stock market
Context Tree Switching -- improving on Contex Tree Weighting.
Salt-and-Pepper Noise Removal Based on Sparse Signal Processing
A cuckoo hashing variant with improved memory utilization and insertion time
2011-11-11 A Novel Approach to Texture classification using statistical feature
Optimum Partition Parameter of Divide-and-Conquer Algorithm for Solving Closest-Pair Problem
2011-11-08 Tight Approximation of Image Matching -- sublinear.
Quantization via Empirical Divergence Maximization and Its Applications will application to dimensionality reduction.
Near Linear-Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs with applications including single-source shortest paths, approx / max flow, min-cost flow.
New Method for 3D Shape Retrieval
Analysis of Thompson Sampling for the multi-armed bandit problem -- experimentally close to optimal.
Hierarchical Hidden Markov Model in Detecting Activities of Daily Living in Wearable Videos for Studies of Dementia
Discriminative Local Sparse Representations for Robust Face Recognition
Widescope - A social platform for serious conversations on the Web
Projection-Based and Look Ahead Strategies for Atom Selection -- applications including face recognition and image denoising.
UPAL: Unbiased Pool Based Active Learning: making the most of expensive (e.g., manually generated) samples -- say, speech recognition.
Robust PCA as Bilinear Decomposition with Outlier-Sparsity Regularization -- armoring PCA against outliers.
High Performance Controllers for Speed and Position Induction Motor Drive using New Reaching Law
A Survey on Open Problems for Mobile Robots
2011-11-08 Hash function based secret sharing scheme designs
An efficient implementation of the simulated annealing heuristic for the quadratic assignment problem
Face Recognition Using Discrete Cosine Transform for Global and Local Features
Multimodal diff-hash for computer vision and such.
Iris Recognition Based on LBP and Combined LVQ Classifier
Multi-Stage Complex Contagions
Efficient Hierarchical Markov Random Fields for Object Detection on a Mobile Robot
De-amortizing Binary Search Trees -- "produces a BST that has the same asymptotic cost as Splay Trees on any access sequence while performing each search in O(log n) worst case time."
Student's T Robust Bundle Adjustment Algorithm
2011-11-06 Towards "Intelligent Compression" in Streams: A Biased Reservoir Sampling based Bloom Filter Approach
Collective Energy Foraging of Robot Swarms and Robot Organisms
Extracting spatial information from networks with low-order eigenvectors
Sparsity and Robustness in Face Recognition
Stochastic Belief Propagation: Low-Complexity Message-Passing with Guarantees
A robust, low-cost approach to Face Detection and Face Recognition
2011-11-02 Exploiting Subgraph Structure in Multi-Robot Path Planning
2011-10-30 $\ell_0$ Minimization for Wavelet Frame Based Image Restoration
2011-10-26 Face Recognition Based on SVM and 2DPCA
Hand Tracking based on Hierarchical Clustering of Range Data
From Bandits to Experts: On the Value of Side-Observations
Anti-sparse coding for approximate nearest neighbor search
A Heuristic Description of Fast Fourier Transform
Fast directional continuous spherical wavelet transform algorithms, A directional continuous wavelet transform on the sphere, Optimal filters on the sphere and Fast, exact (but unstable) spin spherical harmonic transforms
The multi-armed bandit problem with covariates
Clustering using Unsupervised Binary Trees: CUBT
HqQ ("HYdraulic Quadruped") -- well-funded project with lots of papers documenting the tech.
2011-10-24 Rendering Synthetic Objects into Legacy Images (also available in low-res)
2011-10-21 Improved Upper Bounds for Pairing Heaps -- match Fibonacci heaps on everything but decrease_key.
Compression-based Similarity -- latest from Vitani, this time comparing individual English words via Google searches.
2011-10-20 A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
An Optimal Algorithm for Linear Bandits
2011-10-14 Sparse Image Representation with Epitomes
Stochastic Dimensionality Reduction for K-means Clustering
Fast Multipole Method vs. Spectral Method for the Simulation of Isotropic Turbulence on GPUs
Discovering Emerging Topics in Social Streams via Link Anomaly Detection
2011-10-12 Closed-Loop Learning of Visual Control Policies
The Generalized A* Architecture with applications to computer vision.
Supervised learning of short and high-dimensional temporal sequences for life science measurements
Average Interpolating Wavelets on Point Clouds and Graphs
2011-10-10 The proximal point method for a hybrid model in image restoration
Steps Towards a Theory of Visual Information: Active Perception, Signal-to-Symbol Conversion and the Interplay Between Sensing and Control
2011-10-06 On Joint Diagonalisation for Dynamic Network Analysis
Predicting User Actions in Software Processes
Bayesian Locality Sensitive Hashing for Fast Similarity Search
Sources of Inter-package Conflicts in Debian
Electrical Flow Algorithms for Total Variation Minimization in image restoration.
2011-10-01 Negotiating Socially Optimal Allocations of Resources
Domain Adaptation for Statistical Classifiers with applications to natural language processing.
On Graphical Modeling of Preference and Importance
Cognitive Principles in Robust Multimodal Interpretation
Extropy: a complementary dual of entropy
Multiple-Goal Heuristic Search: "Focused crawling".
The Statistical Inefficiency of Sparse Coding for Images (or, One Gabor to Rule them All)
2011-09-30 Evaluation of a Bundling Technique for Parallel Coordinates
An Entropy Based Method for Local Time-Adaptation of the Spectrogram
2011-09-26 Latent Semantic Learning with Structured Sparse Representation for Human Action Recognition
On O(1) Gaussian filtering using box splines
Volume-Enclosing Surface Extraction -- beyond Marching Cubes.
An Introduction to Artificial Prediction Markets for Classification
2011-09-25 The Push Algorithm for Spectral Ranking
Detachable Object Detection: Segmentation and Depth Ordering From Short-Baseline Video
Exhaustive and Efficient Constraint Propagation: A Semi-Supervised Learning Perspective and Its Applications
Sparse Online Low-Rank Projection and Outlier Rejection (SOLO) for 3-D Rigid-Body Motion Registration
Beyond pixels and regions: A non local patch means (NLPM) method for content-level restoration, enhancement, and reconstruction of degraded document images
Couillard: Parallel Programming via Coarse-Grained Data-Flow Compilation
Musimetrics
TorrentGuard: stopping scam and malware distribution in the BitTorrent ecosystem
2011-09-20 Learning where to Attend with Deep Architectures for Image Tracking
Parallel Sparse Matrix-Matrix Multiplication and Indexing: Implementation and Experiments
New Principles of Coordination in Large-scale Micro- and Molecular-Robotic Groups
Generalised Object Detection and Semantic Analysis: Casino Example using Matlab
Online Robust Subspace Tracking from Partial Information with applications to video analysis etc.
Fast approximation of matrix coherence and statistical leverage -- runtime cut from O(N**2) -> O(N*logN)
An Algorithmic Approach to Information and Meaning
A Dynamic Stabbing-Max Data Structure with Sub-Logarithmic Query Time
Concave Generalized Flows with Applications to Market Equilibria
Learning Discriminative Metrics via Generative Models and Kernel Learning -- order-of-magnitude image classification speedup.
Tying up the loose ends in fully LZW-compressed pattern matching
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
Ergodic Control and Polyhedral approaches to PageRank Optimization
Smarter robot arms from MIT.
2011-09-14 IR-based Communication and Perception in Microrobotic Swarms and the Jasmine microbot.
Using MOEAs To Outperform Stock Benchmarks In The Presence of Typical Investment Constraints
Artificial Skin Ridges Enhance Local Tactile Shape Discrimination
2011-09-14 Light-weight Locks
Reconstruction of sequential data with density models -- with application to inverse robot arm kinematics.
Angle-Restricted Steiner Arborescences for Flow Map Layout with applications to object motion visualization.
Design of an Optical Character Recognition System for Camera-based Handheld Devices
Distributed User Profiling via Spectral Methods
Learning Topic Models by Belief Propagation with applications to computer vision.
Large-scale Complex IT Systems -- why we can't build them.
Optimal Portfolio Liquidation with Limit Orders
Directional Variance Adjustment: a novel covariance estimator for high dimensional portfolio optimization
A Corticothalamic Circuit Model for Sound Identification in Complex Scenes -- efficient algorithm, breakthrough solution to the "cocktail party problem"?
2011-09-13 Perseus: Randomized Point-based Value Iteration for POMDPs ("Partially Observable Markov Decision Processes").
Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators
Feature-Based Matrix Factorization for recommendation systems.
Heterogeneity for Increasing Performance and Reliability of Self-Reconfigurable Multi-Robot Organisms
An inventory of three-dimensional Hilbert space-filling curves
Secured color image watermarking technique in DWT-DCT domain
Control of Complex Maneuvers for a Quadrotor UAV using Geometric Methods on SE(3)
Modern hierarchical, agglomerative clustering algorithms
2011-09-08 Exact Subspace Segmentation and Outlier Detection by Low-Rank Representation for computer vision.
2011-09-06 Moving Object Detection by Detecting Contiguous Outliers in the Low-Rank Representation
2011-08-31 Fast N-body Simulations on GPUs with applications including radiosity.
Optimizing Network Topology to Reduce Aggregate Traffic in Systems of Mobile Robots
Adaptive Locomotion of Multibody Snake-like Robot
Efficient data compression from statistical physics of codes over finite fields
InfTucker: t-Process based Infinite Tensor Decomposition: "reduces both time and space complexities by several orders of magnitude" ... "significantly higher prediction accuracy than several state-of-art tensor decomposition approaches including High Order Singular Value Decomposition (HOSVD), Weighted CP, and nonnegative tensor decomposition."
Anisotropic k-Nearest Neighbor Search Using Covariance Quadtree
Local Component Analysis
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming
Vessel Segmentation in Medical Imaging Using a Tight-Frame Based Algorithm
2011-08-28 Deinterleaving Finite Memory Processes via Penalized Maximum Likelihood -- unscrewing inscrutably multiplexed markov processes.
Positivity of the English language -- quantifying connotation.
An Experimental Comparison of PMSPrune and Other Algorithms for Motif Search
All scale-free networks are sparse
Lifted Graphical Models: A Survey -- predicting friends etc.
On the Spatial Dependence Structure of Isotropic Pairwise Gaussian-Markov Random Field Models -- with applications including image and video processing.
2011-08-25 Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control
2011-08-22 Backpressure with Adaptive Redundancy (BWAR)
A Dynamical Systems Approach for Static Evaluation in Go
Edge detection based on morphological amoebas
2011-08-17 Hierarchical Object Parsing from Noisy Point Clouds
Feature Reinforcement Learning In Practice
Doing Better Than UCT: Rational Monte Carlo Sampling in Trees
Self-Organizing Mixture Networks for Representation of Grayscale Digital Images
Policy Iteration is well suited to optimize PageRank
2011-08-19 Hamiltonian Streamline Guided Feature Extraction with Applications to Face Detection
A theory of robust software synthesis
"Memory foam" approach to unsupervised learning
Divide-and-Conquer Matrix Factorization
2011-08-16 Selectivity in Probabilistic Causality: Drawing Arrows from Inputs to Stochastic Outputs
Origins of Answer-Set Programming - Some Background And Two Personal Accounts -- a ten year retrospective/review.
A review and comparison of strategies for multi-step ahead time series forecasting based on the NN5 forecasting competition
Vision-Based Navigation III: Pose and Motion from Omnidirectional Optical Flow and a Digital Terrain Map
2011-08-14 Compressive Imaging using Approximate Message Passing and a Markov-Tree Prior
Improving bit-vector representation of points-to sets using class hierarchy
Building Better Incentives for Robustness in BitTorrent and The BitTorrent Anonymity Marketplace br> Generalised elastic nets
A theory of multiclass boosting
2011-08-12 A survey on independence-based Markov networks learning
Undithering using linear filtering and non-linear diffusion techniques
Feature Extraction for Change-Point Detection using Stationary Subspace Analysis
Gender Recognition Based on Sift Features
Title: Generalized Louvain Method for Community Detection in Large Networks -- "near linear time" sounds good!
2011-08-08 Fast k-means algorithm clustering
Program slicing techniques and its applications
Real time face recognition using adaboost improved fast PCA algorithm
An Efficient Architecture for Information Retrieval in P2P Context Using Hypergraph
A novel and scalable Multigrid algorithm for many-core architectures
2011-08-05 Leveraging Billions of Faces to Overcome Performance Barriers in Unconstrained Face Recognition
Learning Representations by Maximizing Compression in computer vision.
It's Official: Computerized Trading Agents Do Beat Humans in Foreign Exchange Markets -- using Adaptive Aggressiveness.
2011-08-02 Towards Robust and Efficient Computation in Dynamic Peer-to-Peer Networks
Accurate Estimators for Improving Minwise Hashing and b-Bit Minwise Hashing
2011-08-02 A Invertible Dimension Reduction of Curves on a Manifold with applications to face recognition, image classification and shape recognition.
Entropy Semiring Forward-backward Algorithm for HMM Entropy Computation
Title: Accelerating Radio Astronomy Cross-Correlation with Graphics Processing Units
2011-07-28 Image representation by blob and its application in CT reconstruction from few projections
Cooperative Estimation of 3D Target Motion via Networked Visual Motion Observer
Fast and Scalable Analysis of Massive Social Graphs
The Magic of Logical Inference in Probabilistic Programming
Fast multi-scale edge-detection in medical ultrasound signals
ALPprolog --- A New Logic Programming Method for Dynamic Domains
Celerity: A Low-Delay Multi-Party Conferencing Solution -- P2P adapting to arbitrary bottlenecks.
A structured alternative to Prolog with simple compositional semantics
Selecting Attributes for Sport Forecasting using Formal Concept Analysis
Axioms for Rational Reinforcement Learning
Time Consistent Discounting
Universal Prediction of Selected Bits
You Share, I Share: Network Effects and Economic Incentives in P2P File-Sharing System
Termination in a Pi-calculus with Subtyping
Information, Utility & Bounded Rationality -- including decision-making costs.
Image Deblurring Using Derivative Compressed Sensing for Optical Imaging Application
Perspective Drawing of Surfaces with Line Hidden Line Elimination in linear time.
2011-07-24 Fully De-Amortized Cuckoo Hashing for Cache-Oblivious Dictionaries and Multimaps
The IHS Transformations Based Image Fusion
Frequency based Classification of Activities using Accelerometer Data , also High Accuracy Human Activity Monitoring using Neural network
Singular surfaces and cusps in symmetric planar 3-RPR manipulators
Leveraging Bus Mobility to Enable Communications in Urban Areas -- their network protocol might apply to any robot cluster.
Finding Deceptive Opinion Spam by Any Stretch of the Imagination
Analogy perception applied to seven tests of word comprehension -- sounds interesting!
Logical Concurrency Control from Sequential Proofs
An Analysis of Anonymity in the Bitcoin System
Morphological anti-aliasing in various flavors, some with public domain source code. (This is basically a blurring post-pass rather than conventional anti-aliasing.)
2011-07-23 Networked Knowledge, Decades Before Google -- in 1895-1934 Paul Otlet foresees cellphones, wikipedia, videoconferencing and the Internet -- and invents Google on tens of millions of index cards, with an international userbase.
2011-07-21 Event-Clock Automata: From Theory to Practice
Functions as proofs as processes
Direct Sequence Spread Spectrum Steganographic Scheme for IEEE 802.15.4
2011-07-19 Stable, scalable, decentralized P2P file sharing with non-altruistic peers
Feed drive modelling for the simulation of tool path tracking in multi-axis High Speed Machining
Arithmetic and Frequency Filtering Methods of Pixel-Based Image Fusion Techniques
Title: Weakly Supervised Learning of Foreground-Background Segmentation using Masked RBMs
Statistical Laws Governing Fluctuations in Word Use from Word Birth to Word Death
2011-07-15 A Higher-Order Cheeger's Inequality -- using eigenvalues to predict the presence of sparse cuts and justify k-eigenvector clustering technqiues.
A Fuzzy View on k-Means Based Signal Quantization with Application in Iris Segmentation and Exploring New Directions in Iris Recognition -- "Circular Fuzzy Iris Segmentation (CFIS) and Gabor Analytic Iris Texture Binary Encoder"
Learning Poisson Binomial Distributions
Subset sum phase transitions and data compression
Face Recognition using Curvelet Transform
The Chan-Vese Algorithm for image segmentation via active contours.
Modelling Distributed Shape Priors by Gibbs Random Fields of Second Order
On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models -- "we dynamically maintain a finite subset of the states where most of the probability mass is located".
2011-07-11 Accelerating Lossless Data Compression with GPUs -- I'm more interested in how they parallelize across multiple cores than specifically how they use GPUs.
On fuzzy syndrome hashing with LDPC coding -- any kind of fuzzy hashing is interesting.
Distinct counting with a self-learning bitmap -- sounds vaguely Bloomfilter-ish.
Efficient Deterministic Replay Using Complete Race Detection -- how to do replay debugging on stock multicore machines.
Stegobot: construction of an unobservable communication network leveraging social behavior
Kunchenko's Polynomials for Template Matching -- an alternative to cross-correlation and sum-of-squared-differences.
2011-07-08 Error Analysis for a Navigation Algorithm based on Optical-Flow and a Digital Terrain Map
2011-07-04A random walk on image patches -- "state of the art techniques"
Corporate competition: A self-organized network -- the data sources and harvesting techniques are of independent interest.
"Memory foam" approach to unsupervised learning with applications to music.
SOBA: Secrecy-preserving Observable Ballot-level Audit
2011-07-03 Can We Learn to Beat the Best Stock
Restricted Value Iteration: Theory and Algorithm -- on Partially Observable Markov Decision Processes
On Prediction Using Variable Order Markov Models beating Lempel-Ziv
Finding Approximate POMDP solutions Through Belief Compression using PCA to solve exponentially larger problemsets; application to robot navigation.
Human Activity Detection from RGBD Images via hierarchical maximum entropy markov models.
KARMA: Kalman-based autoregressive moving average modeling and inference for formant and antiformant tracking
2011-06-29 HOGWILD!: A Lock-Free Approach to Parallelizing Stochastic Gradient Descent -- applications to machine learning problems including computer vision by graph cut
Image denoising assessment using anisotropic stack filtering
Use of Markov Chains to Design an Agent Bidding Strategy for Continuous Double Auctions
A Replica Inference Approach to Unsupervised Multi-Scale Image Segmentation
The Rate of Convergence of AdaBoost -- optimal up to a constant factor?
2011-06-25 Monte Carlo Methods for Tempo Tracking and Rhythm Quantization "in expressive music performance".
Wrapper Maintenance: A Machine Learning Approach
Face Identification from Manipulated Facial Images using SIFT
2011-06-15 Confronting Intractability via Parameters -- a review with pointers to currently standard textbooks.
On Democracy in Peer-to-Peer systems
Optimal Portfolio Liquidation with Limit Orders
2011-06-11 A Characterization of Entropy in Terms of Information Loss: Shannon entropy is (uniquely) " functorial, convex-linear and continuous".
Accelerating Reinforcement Learning by Composing Solutions of Automatically Identified Subtasks
SMOTE: Synthetic Minority Over-sampling Technique
Inducing Interpretable Voting Classifiers without Trading Accuracy for Simplicity: Theoretical Results, Approximation Algorithms to boost machine learning.
Collective Intelligence, Data Routing and Braess' Paradox
Efficient Solution Algorithms for Factored MDPs
2011-06-06 GIB: Imperfect Information in a Computationally Challenging Game -- strongest contract bridge program.
Policy Recognition in the Abstract Hidden Markov Model applied to distributed video surveillance.
ATTac-2000: An Adaptive Autonomous Bidding Agent -- winner of First Trading Agent Competition, June-July 2000.
Efficient Reinforcement Learning Using Recursive Least-Squares Methods
A Modified EMD Algorithm and its Applications -- zero crossings ride again! With comparison to PCA and application to atmospheric gravity waves.
Risk bounds for time series without strong mixing -- time series models applied to prediction.
2011-06-04 Entropy-based Classification of 'Retweeting' Activity on Twitter
Learning Hierarchical Sparse Representations using Iterative Dictionary Learning and Dimension Reduction
Selective Memoization in SML.
A Consistent Semantics of Self-Adjusting Computation
Learning unbelievable marginal probabilities
Rendering of 3D Dynamic Virtual Environments
2011-05-30 High Quality of Service on Video Streaming in P2P Networks using FST-MDC
Complexity of and Algorithms for Borda Manipulation
Scale-Invariant Local Descriptor for Event Recognition in 1D Sensor Signals
Time-Dependent 2-D Vector Field Topology: An Approach Inspired by Lagrangian Coherent Structures
A Philosophical Treatise of Universal Induction
Clustering and Classification in Text Collections Using Graph Modularity
Neural Networks for Emotion Classification -- thesis
RASID: A Robust WLAN Device-free Passive Motion Detection System
SOBA: Secrecy-preserving Observable Ballot-level Audit
2011-05-24 Fast O(1) bilateral filtering using trigonometric range kernels
2011-05-27 Large-Scale Music Annotation and Retrieval: Learning to Rank in Joint Semantic Spaces
Efficient Learning of Sparse Invariant Representations -- computer vision applications to movie clips.
2011-05-22 An Algorithmic Solution to the Five-Point Pose Problem Based on the Cayley Representation of Orthogonal Matrices -- five points, two pinhole cameras and the baseline distance between them.
Hierarchical Recursive Running Median -- based on Interval-Coccurences Tree.
All-Pairs Shortest Paths in $O(n^2)$ time with high probability
2011-05-16 New Algorithm Offers Ability to Influence Systems Such as Living Cells or Social Networks -- pinpointing critical spot in networks -- from a cover story in Nature.
Stable Parallel Looped Systems -- A New Theoretical Framework for the Evolution of Order
2011-05-11 Feedback Message Passing for Inference in Gaussian Graphical Models -- faster and more accurate loopy belief propagation.
Multiple-Source Single-Sink Maximum Flow in Directed Planar Graphs in O(diameter*n*log(n)) Time with applications to image segmentation. A cited later paper achieved O(n*log**3(n)) time.
2011-05-09 Sampling-based Algorithms for Optimal Motion Planning
Pruned Continuous Haar Transform of 2D Polygonal Patterns with Application to VLSI Layouts
Eigengestures for natural human computer interface
Excess entropy in natural language: present state and perspectives
Interpreting Graph Cuts as a Max-Product Algorithm: Max-product belief propagation (MP) is optimal after all -- if done right.
2011-05-05 Invertible Bloom Lookup Tables
Rapid Feature Learning with Stacked Linear Denoisers
GANC: Greedy Agglomerative Normalized Cut
CFA2: a Context-Free Approach to Control-Flow Analysis -- for functional languages: "the first flow analysis with precise call/return matching in the presence of higher-order functions"
A resource analysis of the pi-calculus
2011-05-02 Dynamic Range Majority Data Structures -- in various dimensions.
External-Memory Multimaps -- cuckoo hashing strikes again.
Randomized algorithms for matrices and data (review)
2011-04-23 A Meshless Method for Variational Nonrigid 2-D Shape Registration
Pattern matching in Lempel-Ziv compressed strings: fast, simple, and deterministic
Curved Gabor Filters for Fingerprint Image Enhancement
Quantitative Synthesis for Concurrent Programs
Optimized Spline Interpolation
What are the Differences between Bayesian Classifiers and Mutual-Information Classifiers?
SuperNova: Super-peers Based Architecture for Decentralized Online Social Networks
Methods of Hierarchical Clustering -- review, including a recent linear algorithm.
Recalling of Images using Hopfield Neural Network Model
Rapid Learning with Stochastic Focus of Attention
Suboptimal Solution Path Algorithm for Support Vector Machine
Rationality, irrationality and escalating behavior in online auctions
Switching processes in financial markets -- financial bubbles scale over nine orders of magnitude. (This paper doesn't appear to be on the open internet as yet.)
2011-04-16 Statistical mechanics of the international trade network
2011-04-14 TLD/Predator award-winning "Smart Camera" open source software.
2011-04-09 DelFly, "world's smallest ornithopter", from U Deft.
The Design of a Novel Prismatic Drive for a Three-DOF Parallel-Kinematics Machine
Recursive Shortest Path Algorithm with Application to Density-integration of Weighted Graphs
Efficient First Order Methods for Linear Composite Regularizers
Gaussian Affine Feature Detector
Optimal Polygonal Representation of Planar Graphs -- Emden Gansner et al
On-line construction of position heaps and linear string matching.
Image Segmentation with Multidimensional Refinement Indicators
Rational Deployment of CSP Heuristic
Off-Line Handwritten Signature Retrieval using Curvelet Transforms
2011-04-07 Tractable Set Constraints
Evolution of Computer Virus Concealment and Anti-Virus Techniques: A Short Survey
2011-04-03 Gaussian Robust Classification -- insight into SVM.
2011-03-30 Orthogonal Range Searching on the RAM, Revisited
Exponential wealth distribution in a random market. A rigorous explanation
PyCUDA and PyOpenCL: A Scripting-Based Approach to GPU Run-Time Code Generation
Improved Edge Awareness in Discontinuity Preserving Smoothing
2011-03-27 Google matrix of the world trade network
2011-03-25 An Unconditionally Secure Key Management Scheme for Large-Scale Heterogeneous Wireless Sensor Networks
Common Signal Analysis
Universal Property of Music Discovered which looks derived from: Convexity and the Well-formedness of Musical Objects
Real-Time Human Pose Recognition in Parts from Single Depth Images -- Microsoft's Kinect crew dishes on how they did it.
2011-03-23 Rendering of 3D Dynamic Virtual Environments
Copy-on-write B-tree finally beaten -- "stratified B-trees".
2011-03-19 Extraction of handwritten areas from colored image of bank checks by an hybrid method including via Fourier descriptors.
Off-Line Handwritten Signature Identification Using Rotated Complex Wavelet Filters
2011-03-15 Fast Sparse Matrix-Vector Multiplication on GPUs: Implications for Graph Mining -- including PageRang.
Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore -- Spinnaker sails past the competition, with stronger consistency guarantees.
Fast Set Intersection in Memory -- constant-factor speedups
Unification of Maximum Entropy and Bayesian Inference via Plausible Reasoning
Blind Compressed Sensing Over a Structured Union of Subspaces to do image inpainting via computationally practical algorithm, with experimental results.
Optimal query/update tradeoffs in versioned dictionaries
Control Synthesis for Constrained Nonlinear Systems using Hybridization and Robust Controllers on Simplices -- controlling a pendulum on a cart. :-)
Accelerating Nearest Neighbor Search on Manycore Systems
How much of quantum mechanics is really needed to defy Extended Church-Turing Thesis? -- just beamsplitters and phase-shifters! :-)
Unfolding communities in large complex networks: Combining defensive and offensive label propagation for core extraction -- state of the art and nearly linear -- and Unfolding network communities by combining defensive and offensive label propagation (same authors).
The Extraordinary SVD -- review of the algorithm, its applications and its generalizations.
2011-03-12 Functional flocks -- birds in Haskell.
2011-03-10 Leslie Valiant, 2010 Turing Award winner, accomplishments summary.
A Comparison of Two Human Brain Tumor Segmentation Methods for MRI Data
Recognizing Uncertainty in Speech
2011-03-05 Loopy Belief Propagation, Bethe Free Energy and Graph Zeta Function
A Medial Axis Based Thinning Strategy for Character Images
Music By Numbers
Probabilistic Logic: Many-valuedness and Intensionality and First-order Logic: Modality and Intensionality
Querying and Manipulating Temporal Databases
A Gentle Introduction to the Kernel Distance
2011-02-25: A Parallel Algorithm for solving BSDEs - Application to the pricing and hedging of American options
Weighted Radial Variation for Node Feature Classification
Upper Bounds for Maximally Greedy Binary Search Trees
2011-02-19: CFA2: a Context-Free Approach to Control-Flow Analysis -- for functional languages with higher-order functions.
2011-02-16: One Packet Suffices - Highly Efficient Packetized Network Coding With Finite Memory
On the Capacity of p2p Multipoint Video Conference 5/6 not 1/2
An Efficient and Integrated Algorithm for Video Enhancement in Challenging Lighting Conditions
Multi-skill Collaborative Teams based on Densest Subgraphs
Reasoning about Social Choice Functions -- an entrypoint into recent papers on rational voting schemes.
Detecting Separation in Robotic and Sensor Networks
Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing
Contextual Bandits with Similarity Information -- multi-arm bandits and web ads.
Fast Vertex Guarding for Polygons -- interesting, maybe even useful: now down to O(N**3).
2011-02-14: Who is the best player ever? A complex network analysis of the history of professional tennis.
Robust Matrix Completion with Corrupted Columns -- with application to collaborative filtering.
Efficient Dealiased Convolutions without Padding
2011-02-06: EigenNet: A Bayesian hybrid of generative and conditional models for sparse learning
Evidence Feed Forward Hidden Markov Model: A New Type of Hidden Markov Model
CPC: programming with a massive number of lightweight threads -- programming idioms extracted from practical experience.
2011-02-03: Persistent Robotic Tasks: Monitoring and Sweeping in Changing Environments
Glioblastoma Multiforme Segmentation in MRI Data with a Balloon Inflation Approach
2011-02-01: Active Markov Information-Theoretic Path Planning for Robotic Environmental Sensing
Analysis of Web Logs and Web User in Web Mining
On the Local Correctness of L^1 Minimization for Dictionary Learning: "the behavior of these algorithms is largely a mystery"
A correspondence-less approach to matching of deformable shapes with applications to human pose recovery.
Boolean network robotics: a proof of concept
2011-01-31: Maintaining Arrays of Contiguous Objects -- interesting partly for its pointers to recent conventional memory management papers.
The Computing of Digital Ecosystems
Walking on a Graph with a Magnifying Glass
Ray-Based Reflectance Model for Diffraction
2011-01-25: The Convergence Rate of AdaBoost and Friends
Random road networks: the quadtree model
2011-01-24: Self-Index Based on LZ77
Linear-Space Data Structures for Range Mode Query in Arrays
The Role of Normalization in the Belief Propagation Algorithm
Evolutionary Mechanics: new engineering principles for the emergence of flexibility in a dynamic and uncertain world
Diurnal Availability for Peer-to-Peer Systems
Effective Privacy Amplification for Secure Classical Communications
Discrete Time Elastic Vector Spaces
2011-01-17: Dueling Algorithms
2011-01-10: A unifying approach to picture grammars
Learning Hidden Markov Models using Non-Negative Matrix Factorization
2011-01-03: What Makes a Face Look Alive? Study Says It's in the Eyes
2010-12-30: Negative frequency communication -- but seriously, folks.
2010-12-24: Building the ultimate Ritewing Zephyr -- FPV flying to a (theoretical) range of 120 miles!
2010-12-22: A Force-Directed Method for Large Crossing Angle Graph Drawing
Non-redundant random generation from weighted context-free languages -- sampling a small subset without exponential cost.
How I won the "Chess Ratings - Elo vs the Rest of the World" Competition -- prediction without overfitting.
A Pseudo Random Numbers Generator Based on Chaotic Iterations. Application to Watermarking -- ISACC, XORshift and more, oh my!
Multiple-source multiple-sink maximum flow in planar graphs
Characterizing Structure Through Shape Matching and Applications to Self Assembly
2010-12-21: Application of Global and One-Dimensional Local Optimization to Operating System Scheduler Tuning -- on linux 2.6.23 Completely Fair Scheduler.
Self-Organising Stochastic Encoders for images
Bounded Linear Logic, Revisited -- adding support for quantifying over resource variables.
2010-12-15: Speeding Up the 3D Surface Generator VESTA
On the Combinatorial Multi-Armed Bandit Problem with Markovian Rewards
2010-12-12: Sparse motion segmentation using multiple six-point consistencies
A Robust and Efficient Trust Management Scheme for Peer-to-Peer Networks
Transforming a random graph drawing into a Lombardi drawing
2010-12-06: Initial Semantics for higher-order typed syntax
Image Deblurring and Super-resolution by Adaptive Sparse Domain Selection and Adaptive Regularization
Automatic Image Segmentation by Dynamic Region Merging
2010-12-04: Optimized Spline Interpolation
Title: A Center Transversal Theorem for Hyperplanes and Applications to Graph Drawing
The Past and the Future in the Present
2010-11-26: Image Inpainting Using Sparsity of the Transform Domain
2010-11-23: Generalized Tree-Based Wavelet Transform
Random Projections for $k$-means Clustering applied to a large faces db.
2010-11-18: Evolutionary Algorithms as Guaranteed Approximation Optimizers: "highly practical tools"
Modeling Image Structure with Factorized Phase-Coupled Boltzmann Machines
2010-11-15: Classification with Scattering Operators -- "state of the art results on handwritten digit recognition".
Stochastic Analysis of a Churn-Tolerant Structured Peer-to-Peer Scheme -- handling churn in P2P networks.
Network motifs in music sequences
Volume-Enclosing Surface Extraction -- beyond Marching Cubes
2010-11-12: Clustering using Unsupervised Binary Trees: CUBT
2010-11-06: Featureless 2D-3D Pose Estimation by Minimising an Illumination-Invariant Loss
2010-11-02: Fast Color Quantization Using Weighted Sort-Means Clustering
Sparse Inverse Covariance Selection via Alternating Linearization Methods -- applied to gene networks.
A Decidable Characterization of a Graphical Pi-calculus with Iterators -- visualize visualization!
Imitation learning of motor primitives and language bootstrapping in robots
2010-11-01: Analysing the behaviour of robot teams through relational sequential pattern mining
Network motifs in music sequences
2010-10-29: Make your bot and Mantis 9.1 CNC Mill -- $100 13-part mill with complete bill of materials and directions. Part of the MIT Machines That Make project.
2010-10-23: Approaching optimality for solving SDD systems -- O(log2(N)**2) (Vs Gaussian elimination at O(N**3)), billed as major CMU breakthrough on a major technique used for (e.g.) the Netflix problem.
Sublinear Optimization for Machine Learning -- training classifiers and finding minimum enclosing balls.
Certificate size reduction in Abstraction-Carrying Code
2010-10-21: Haar Wavelet Based Approach for Image Compression and Quality Assessment of Compressed Image
Sparse and silent coding in neural circuits
Revisiting Complex Moments For 2D Shape Representation and Image Normalization
Information Analysis of DNA Sequences -- claims aggregate information content of exons equals that of introns, disproving "junk DNA" hypothesis.
Convex Analysis and Optimization with Submodular Functions: a Tutorial
Robust PCA via Outlier Pursuit
Large-Scale Clustering Based on Data Compression -- "effective and efficient"
2010-10-18: Fast Inference in Sparse Coding Algorithms with Applications to Object Recognition
2010-09-29: Face Detection with Effective Feature Extraction
Fast Pseudo-Random Fingerprints
Fast CRCs
2010-09-26: Unary Coding for Neural Network Learning
A new closed-loop output error method for parameter identification of robot dynamics
A Cluster Based Replication Architecture for Load Balancing in Peer-to-Peer Content Distribution -- P2P robustification.
A Constructive Algorithm for Feedforward Neural Networks for Medical Diagnostic Reasoning -- better than human? Also: An Algorithm to Extract Rules from Artificial Neural Networks for Medical Diagnosis Problems, Medical diagnosis using neural network, A hybrid learning algorithm for text classification Text Classification using the Concept of Association Rule of Data Mining
3D-Mesh denoising using an improved vertex based anisotropic diffusion
2010-09-23: Efficient Computation of Optimal Trading Strategies
2010-09-21: Visolate -- Voronoi-diagram based isolation routing of printed circuit boards (PCBs) by CNC.
2010-09-18: Invariant Spectral Hashing of Image Saliency Graph -- rotation and scaling invariant image fingerprinting.
Asymmetric Totally-corrective Boosting for Real-time Object Detection
Fractal Weyl law for Linux Kernel Architecture -- spectrum and eigenstates of kernel callgraph, oh my!
2010-09-16: A Blink Tree latch method and protocol to support synchronous node deletion in high-concurrency environments -- with full source code.
Representing Isabelle in LF 2010-09-11: Fat Polygonal Partitions with Applications to Visualization and Embeddings: Beyond Treemap.
2010-09-06: Fast Color Space Transformations Using Minimax Approximations
Effective Pedestrian Detection Using Center-symmetric Local Binary/Trinary Patterns
Distance Measures for Reduced Ordering Based Vector Filters: Beyond Minkowski.
Related Celebi papers: A, C, D
2010-09-05: Optimizing Selective Search in Chess
Weighted Attribute Fusion Model for Face Recognition
2010-09-01: Totally Corrective Boosting for Regularized Risk Minimization
2010-08-31: The Geometry of Scheduling -- exponentially faster?
2010-08-27: Switching between Hidden Markov Models using Fixed Share
2010-08-25: Combinatorial Approximation Algorithms for MaxCut using Random Walks
NESVM: a Fast Gradient Method for Support Vector Machines
2010-08-16: Homotopy Perturbation Method for Image Restoration and Denoising
2010-08-12: Fast Approximation Algorithms for Cut-based Problems in Undirected Graphs
2010-08-09: A Probabilistic Perspective on Gaussian Filtering and Smoothing
Efficient Dealiased Convolutions without Padding
2010-08-04: On Optimal Deadlock Detection Scheduling
Fully automatic extraction of salient objects from videos in near real-time -- graph cuts strike again! Also GPUs.
Image sequence interpolation using optimal control -- like Horn & Schunk optical flow, sorta.
2010-08-02: An algorithm for the principal component analysis of large data sets -- out-of-core PCA.
2010-07-30: Simplified Distributed Programming with Micro Objects
2010-07-28: Finding Cycles and Trees in Sublinear Time
Formalization of Psychological Knowledge in Answer Set Programming and its Application
Equilibrium Pricing of Digital Goods via a New Market Model from first principles -- a claimed first.
2010-07-14: On the Origin of Gravity and the Laws of Newton: fucking brilliant -- I've been waiting thirty years for this paper.
2010-07-13: A Study on the Effectiveness of Different Patch Size and Shape for Eyes and Mouth Detection
A tool stack for implementing Behaviour-Driven Development in Python Language -- "highlights the specification and validation of the software's expected behavior"
Shannon Meets Nash on the Interference Channel
Eigenvectors for clustering: Unipartite, bipartite, and directed graph cases
2010-07-07: Gtk-Server -- basically wish for GTK+
2010-07-04: Survey of Nearest Neighbor Techniques
The uncertainty principle of measurement in vision
2010-06-29: Sampled Longest Common Prefix Array
2010-06-28: 3D Visual Tracking with Particle and Kalman Filters
Automatic Music Composition using Answer Set Programming
Open-Ended Evolutionary Robotics: an Information Theoretic Approach
Fast ABC-Boost for Multi-Class Classification
2010-06-23: Optimization of Weighted Curvature for Image Segmentation
Formal Derivation of Concurrent Garbage Collectors
2010-06-21: Breaking the Legend: Maxmin Fairness notion is no longer effective
A Method for Accelerating Conway's Doomsday Algorithm -- mental day-of-week calculation made easier.
Facial Expression Representation Using Heteroscedastic Linear Discriminant Analysis and Gabor Wavelets
2010-06-18: Orthogonal Persistence Revisited , and Reflection and Hyper-Programming in Persistent Programming Systems (thesis)
Information Distance
The $240 High Resolution X-Band Linear Rail SAR Imaging System
2010-06-15: Universal Loop-Free Super-Stabilization
Solving Image Inverse Problems with Piecewise Linear Estimators: From Gaussian Mixture Models to Structured Sparsity -- inpainting, zooming, deblurring...
2010-06-08: Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
Local Strategy Improvement for Parity Game Solving -- improvements by "several orders of magnitude" are always fun! :-)
The Motif Tracking Algorithm -- applied to financial time series: "fast and efficient". :-)
2010-06-07: Discrete Variational Calculus for B-spline Approximated Curves -- aesthetically pleasing curve completion.
Polyharmonic Daubechies type wavelets in Image Processing and Astronomy, I
Haptics in computer music : a paradigm shift
2010-06-06: Tight and simple Web graph compression
2010-06-01: Image information content characterization and classification by physical complexity
2010-05-29: Practical Constructions for the Efficient Cryptographic Enforcement of Interval-Based Access Control Policies
A Variant of Mersenne Twister Suitable for Graphic Processors
Dynamic Motion Modelling for Legged Robots
2010-05-25: LACBoost and FisherBoost: Optimally Building Cascade Classifiers
Incremental Training of a Detector Using Online Sparse Eigen-decomposition -- life beyond the offline.
The Complexity of Manipulating $k$-Approval Elections -- sane elections with unlimited options.
Facial Recognition Technology: An analysis with scope in India -- looks like a good review of the state of the art.
Clustering Time Series Data Stream - A Literature Survey
Application Of Fuzzy System In Segmentation Of MRI Brain Tumor -- beyond level sets. Ignore the "fuzzy". :-)
Random Numbers in Scientific Computing: An Introduction -- finally, an overview of the state of the art! :-)
Characterizing the community structure of complex networks
Eigenvectors for clustering: Unipartite, bipartite, and directed graph cases
2010-05-13: Groebner bases in Java with applications in computer graphics ... "enables graphical representation of the intersection of two surfaces in 3-dimensional space"
Optical phase extraction algorithm based on the continuous wavelet and the Hilbert transforms
Image Segmentation by Using Threshold Techniques
Polylogarithmic Approximation for Edit Distance and the Asymmetric Query Complexity ... "exponential improvement"
Face Synthesis (FASY) System for Generation of a Face Image from Human Description
Classification of Polar-Thermal Eigenfaces using Multilayer Perceptron for Human Face Recognition ... "success rate is 97.05%".
Reduction of Feature Vectors Using Rough Set Theory for Human Face Recognition ... "we have used eigenspace projection (also called as Principal Component Analysis)
Temporal Link Prediction using Matrix and Tensor Factorizations -- extracting and exploiting patterns in the time evolution of graphs.
Precision Arithmetic: A New Floating-Point Arithmetic ... "better than interval arithmetic"
On the Subspace of Image Gradient Orientations -- noise suppression to facilitate application of Principal Component Analysis (PCA).
Surface Parametrization of Nonsimply Connected Planar Bézier Regions -- 3D vector displays of 2D TeX glyphs.
On Testing Constraint Programs -- mainly as a gateway into recent constraint programming stuff.
2010-05-16: Dichotic harmony for the musical practice
A Performance Comparison of CUDA and OpenCL
2010-05-14: A Brief Retrospective on Transactional Memory (thx to Christoph Engemann for forwarding this one)
2010-05-13: Principal Component Analysis with Contaminated Data: The High Dimensional Case
Scalable Tensor Factorizations for Incomplete Data
A general method for debiasing a Monte Carlo estimator
2010-05-11: On Macroscopic Complexity and Perceptual Coding -- information theory adapted to lossy compression.
2010-05-08: George Forythe's last paper -- efficiently generating pseudorandom numbers with a normal distribution.
A Kinetic Triangulation Scheme for Moving Points in The Plane
2010-05-05: Incremental Sampling-based Algorithms for Optimal Motion Planning -- "Rapidly-exploring Random Trees (RRTs) have been shown to work well in practice"
Informal Concepts in Machines
Detecting the Most Unusual Part of Two and Three-dimensional Digital Images
2010-05-04: The Deletable Bloom filter: A new member of the Bloom family
Faster Least Squares Approximation -- how does O(ndlogd) sound?
2010-05-02: The Floating-Point Guide, introduction to Unicode (from /.).
Fully Countering Trusting Trust through Diverse Double-Compiling -- countering Ken Thompson's Turing Award lecture attack. (thesis)
2010-04-29: Self-Taught Hashing for Fast Similarity Search (where "similarity search" ~ "nearest neighbor search"). <-- good stuff.
2010-04-28: Discrete geometric analysis of message passing algorithm on graphs -- thesis analysing Loopy Belief Propagation
The Burbea-Rao and Bhattacharyya centroids -- "Burbea-Rao divergences generalize the Jensen-Shannon divergence" ... "Bhattacharyya distance" ... "Fisher information" ...
Many-to-Many Graph Matching: a Continuous Relaxation Approach with computer vision applications.
2010-04-26: Deblured Gaussian Blurred Images: Weiner and Regularized filters, Lucy Richardson and Blind deconvolution.
Combination of Subtractive Clustering and Radial Basis Function in Speaker IdentificationM
Visual Infrared Video Fusion for Night Vision using Background Estimation
Intelligent System for Speaker Identification using Lip features with PCA and ICA
Video shot boundary detection using motion activity descriptor -- identifying cuts in video.
Milepost GCC -- machine learning autotunes GCC optimizer.
2010-04-25: n-Level Graph Partitioning -- important problem, literature review is independently useful.
A General Framework for Graph Sparsification
A New Metaheuristic Bat-Inspired Algorithm. Particle swarm meets simulated annealing: bat swarm as search engine for goal-function extrema in a space via random exploration and local search. Has up-to-date references on other recently popular approaches such as firefly algorithm and harmony search.
2010-04-22: Simultaneous Bayesian inference of motion velocity fields and probabilistic models in successive video-frames described by spatio-temporal MRFs
Automated Verification of Practical Garbage Collectors
Hashing Image Patches for Zooming
2010-04-20: Some long-period random number generators using shifts and xors
Statistical Physics for Natural Language Processing -- "Texual Energy" matrix mechanics.
Color Image Compression Based On Wavelet Packet Best Tree
Computation- and Space-Efficient Implementation of SSA -- from O(N^3) -> O(kNlogN). (Singular Spectrum Analysis is a major offshoot of PCA (Principal Component Analysis) for time series.)
2010-04-19: Angle Tree: Nearest Neighbor Search in High Dimensions with Low Intrinsic Dimensionality: "for the first time gives us the ability to index large and high-dimensional datasets in practice" -- kd-trees on steroids.
2010-04-15: Nonnegative Decomposition of Multivariate Information -- generalizing information to multiple variables, and why redundancy != synergy.
2010-04-14: Complexity Analysis of Balloon Drawing for Rooted Trees -- variants range from NP-Complete to O(nlogn). Includes references to general graph drawing reviews.
Mean field for Markov Decision Processes: from Discrete to Continuous Optimization -- applications from investment to queue scheduling.
2010-04-12: Optimal stochastic planarization -- major breakthrough with ties to max-flow/min-cut.
A Robust Fuzzy Clustering Technique with Spatial Neighborhood Information for Effective Medical Image Segmentation
An Analytical Study on Behavior of Clusters Using K Means, EM and K* Means Algorithm -- expectation maximization wins.
A New Approach to Lung Image Segmentation using Fuzzy Possibilistic C-Means Algorithm -- improving on FCM.
SAR Image Segmentation using Vector Quantization Technique on Entropy Images
Clustering with Spectral Norm and the k-means Algorithm -- k-means with fewer assumptions.
Maximized Posteriori Attributes Selection from Facial Salient Landmarks for Face Recognition -- SIFT features and partially occluded faces.
An optimized recursive learning algorithm for three-layer feedforward neural networks for mimo nonlinear system identifications -- automating selection of learning rate.
Dynamic Policy Programming -- solving the mountain car problem.
2010-04-11: Belief Propagation for Min-cost Network Flow: Convergence and Correctness -- "the first instance where BP is proved to have fully-polynomial running time."
Approximate Point-to-Face Shortest Paths in R^3 -- avoiding obstacles.
2010-04-09: Signature Recognition using Multi Scale Fourier Descriptor And Wavelet Transform
Feature-Based Adaptive Tolerance Tree (FATT): An Efficient Indexing Technique for Content-Based Image Retrieval Using Wavelet Transform
2010-04-08: The Graph Traversal Pattern
Message-Passing Inference on a Factor Graph for Collaborative Filtering -- matches Expectation Maximization on large datasets, outperforms on small ones.
2010-04-07: Extended Two-Dimensional PCA for Efficient Face Representation and Recognition
2010-04-06: Object-image correspondence for curves under finite and affine cameras
CONCISE: Compressed 'n' Composable Integer Set -- the latest in bitmaps.
User-driven applications -- user-composable GUIs.
Analysis, Interpretation, and Recognition of Facial Action Units and Expressions Using Neuro-Fuzzy Modeling
Recognizing Combinations of Facial Action Units with Different Intensity Using a Mixture of Hidden Markov Models and Neural Network
Multilinear Biased Discriminant Analysis: A Novel Method for Facial Action Unit Representation
Using Rough Set and Support Vector Machine for Network Intrusion Detection -- I'm mainly interested in the Rough Set Theory part.
A Little More, a Lot Better: Improving Path Quality by a Simple Path Merging Algorithm -- motion planning optimization by combining the best parts of multiple mediocre solution paths.
2010-04-05: Facial Expression Representation Using Heteroscedastic Linear Discriminant Analysis and Gabor Wavelets
2010-03-31: Church: a language for generative models -- this one made Slashdot as the "AI Theory of Everything". Noah Goodman provides a pure subset of scheme which includes as primitives stochastic memoization and selection from random distributions.
IBAL: A Probabilistic Rational Programming Language -- similar to above, but based on ML rather than Scheme.
2010-03-30: Graph Creation, Visualisation and Transformation
Specifying Reusable Components
Robust multi-camera view face recognition: PCA + LDA + Gabor filters + SVM = nirvana?
2010-03-29: Active Testing for Face Detection and Localization -- exponential speadup vs sliding window.
Improving Waiting Time of Tasks Scheduled Under Preemptive Round Robin Using Changeable Time Quantum
Wavelet-Based Mel-Frequency Cepstral Coefficients for Speaker Identification using Hidden Markov Models -- 99.3% recognition rate.
2010-03-27: Large Margin Boltzmann Machines and Large Margin Sigmoid Belief Networks -- scene classification that "outperforms current state of the art approaches". Good review of state of the art in MMEMs, CRFs, M3Ns, SSVMs, MCMC, LBP etc.
Transparent Anonymization: Thwarting Adversaries Who Know the Algorithm
2010-03-23: Graph Iterators: Decoupling Graph Structures from Algorithms ... in six chapters.
2010-03-22: Data Hiding Techniques Using Prime and Natural Numbers -- improving on least-significant-bit pixel steganography.
A Highly Efficient Parallel Algorithm for Computing the Fiedler Vector -- cheap computation of second smallest eignevalue of a graph.
A Formal Approach to Modeling the Memory of a Living Organism -- blue-sky AI stuff.
2010-03-18: Pattern recognition using inverse resonance filtration
An Algebraic Formalization of the GoF Design Patterns -- putting category theory to work.
2010-03-15: Universal Sparse Modeling
Approaching optimality for solving SDD systems -- near-linear runtime, computer vision applications.
2010-03-12 Supermartingales in Prediction with Expert Advice
Fast Set Intersection and Two Patterns Matching
2010-03-10 Nonlinear Filter Based Image Denoising Using AMF Approach
Facial Gesture Recognition Using Correlation And Mahalanobis Distance
A GA based Window Selection Methodology to Enhance Window based Multi wavelet transformation and thresholding aided CT image denoising technique
Fast space-variant elliptical filtering using box splines
2010-03-07: Min st-Cut Oracle for Planar Graphs with Near-Linear Preprocessing Time -- first subquadradic algorithm, courtesy of Gomory-Hu trees.
Learning by random walks in the weight space of the Ising perceptron "simple to implement", "efficient"
2010-03-05: A student's guide to searching the literature using online databases
2010-03-03: Statistical and Computational Tradeoffs in Stochastic Composite Likelihood
2010-02-25: Nonparametric Estimation and On-Line Prediction for General Stationary Ergodic Sources
Deterministic Sample Sort For GPUs
2010-02-23: Mergeable Dictionaries
Load Balancing via Random Local Search in Closed and Open systems
CLD-shaped Brushstrokes in Non-Photorealistic Rendering -- impressionistic paint-by-numbers.
2010-02-22: A Hough Transform based Technique for Text Segmentation
An Optimal High Probability Algorithm for the Contextual Bandit Problem
2010-02-18: A new approach to content-based file type detection -- using PCA (Principal Component Analysis).
Improved subspace estimation for multivariate observations of high dimension: the deterministic signals case
Convergent and Correct Message Passing Schemes for Optimization Problems over Graphical Models: Replacing MAP with algorithms which actually converge -- to the right answer, even.
Asymptotically Stable Walking of a Five-Link Underactuated 3D Bipedal Robot
A Directly Public Verifiable Signcryption Scheme based on Elliptic Curves
Finding Associations and Computing Similarity via Biased Pair Sampling -- order of magnitude speed-ups on real data.
Range Reporting for Moving Points on a Grid
Hardware-Accelerated Global Illumination by Image Space Photon Mapping -- Best Paper 2009 Conference on High Performance Graphics.
2010-02-16: PageRank: Stand on the shoulders of giants
A Fully Abstract Symbolic Semantics for Psi-Calculi -- beyond the fusion calculus.
2010-02-14: A Generalization of the Chow-Liu Algorithm and its Application to Statistical Learning
Optimal Projective Algorithms for the List Update Problem
Feature Level Fusion of Face and Fingerprint Biometrics
Removing Local Extrema from Imprecise Terrains
2010-02-11: Medical Image Compression using Wavelet Decomposition for Prediction Method
Reverse Engineering Financial Markets with Majority and Minority Games using Genetic Algorithms
Markets are efficient if and only if P = NP
The Violation Heap: A Relaxed Fibonacci-Like Heap -- "simple ... efficient practical" ... "pairing heaps are more efficient than Fibonacci heaps" ... "relaxed heaps are good candidates for ... parallel computations"...."fat heaps achieve same worst-case bounds"..."thin heaps"...
2010-02-10: Estimating and Sampling Graphs with Multidimensional Random Walks
Cuspidal and Noncuspidal Robot Manipulators
Position Analysis of the RRP-3(SS) Multi-Loop Spatial Structure for robot manipulators.
Refinement and Verification of Real-Time Systems such as phone systems.
Recursive tilings and space-filling curves with little fragmentation: a new Daun.
Ultrametric watersheds: a bijection theorem for hierarchical edge-segmentation -- with efficient algorithms yet.
Image Retrieval Techniques based on Image Features, A State of Art approach for CBIR -- the latest in Content-Based Image Retrieval.
2010-02-07: Odds-On Trees -- raytracing support.
Framework for Visualizing Model-Driven Software Evolution and its Application
Understanding Formulation of Social Capital in Online Social Network Sites
Ball-Scale Based Hierarchical Multi-Object Recognition in 3D Medical Images
2010-02-05: High-Dimensional Matched Subspace Detection When Data are Missing -- useful stuff, actually.
Towards Social Profile Based Overlays -- P2P (peer-to-peer) social networking.
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance: Pushing Java beyond MPI.
Programming Idioms for Transactional Events: Pressing forward on the CML (Concurrent ML) front.
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
A Unified Algebraic Framework for Fuzzy Image Compression and Mathematical Morphology -- quantale categories at work.
Quantale Modules and their Operators, with Applications
2010-02-03: Face Identification by SIFT-based Complete Graph Topology -- using SIFT features invariant under rotation, translation and scaling.
Face Recognition by Fusion of Local and Global Matching Scores using DS Theory: An Evaluation with Uni-classifier and Multi-classifier Paradigm
SIFT-based Ear Recognition by Fusion of Detected Keypoints from Color Similarity Slice Regions -- let's hear it for ears!
Feature Level Fusion of Biometrics Cues: Human Identification with Doddingtons Caricature
Fusion of Multiple Matchers using SVM for Offline Signature Identification
Feature Level Clustering of Large Biometric Database -- life beyond k-means.
Detecting Motifs in System Call Sequences
Random Indexing K-tree -- better document clustering.
2010-01-31: An in-place truncated Fourier transform and applications to polynomial multiplication
2010-01-30: Evolution of Adaptive Behaviour in Robots by Means of Darwinian Selection -- slashdot was impressed. :-)
2010-01-22: On Fast Algorithm for Computing Even-Length DCT
2010-01-19: Strong Robustness of Randomized Rumor Spreading Protocols
Succinct Dictionary Matching With No Slowdown
2010-01-15: Stable Principal Component Pursuit : "classical Principal Component Analysis (PCA), optimal for small i.i.d. noise, can be made robust to gross sparse errors"
Dense Error Correction for Low-Rank Matrices via Principal Component Analysis "[tweaked] Principal Component Pursuit ... exactly recovers the low-rank matrix even if "almost all" of its entries are arbitrarily corrupted ..."
A Little More, a Lot Better: Improving Path Quality by a Simple Path Merging Algorithm -- better motion planning by merging many mediocre paths to produce one good one.
2010-01-13: Divide & Concur and Difference-Map BP Decoders for LDPC Codes -- is Divide and Concur a general-purpose alternative to Belief Propagation?
Fast Set Intersection and Two Patterns Matching
Matching Shapes Using the Current Distance -- a fast alternative to feature matching?
Information Asymmetries in Pay-Per-Bid Auctions: How Swoopo Makes Bank
Optimal Exploration of Terrains with Obstacles
Vandalism Detection in Wikipedia: a Bag-of-Words Classifier Approach
A simple construction of almost-Euclidean subspaces of $\ell_1^N$ via tensor products -- pimp your high-dimensional nearest-neighbor searches.
The Geodesic Diameter of Polygonal Domains -- points to papers allowing robot path planning in linear time when there are no interior holes (obstacles, furniture) in room, and presents a new polynomial time algorithm for when there are holes (furniture).
2010-01-10: Boosting k-NN for categorization of natural scenes
Decisional Processes with Boolean Neural Network: the Emergence of Mental Schemes
Optimal topological simplification of discrete functions on surfaces
2010-01-08: An Empirical Evaluation of Four Algorithms for Multi-Class Classification: Mart, ABC-Mart, Robust LogitBoost, and ABC-LogitBoost
An Unsupervised Algorithm For Learning Lie Group Transformations -- efficiently inducing continuous transforms from pixel data.
Measuring Latent Causal Structure
Principal manifolds and graphs in practice: from molecular biology to dynamical systems
Redundancy in Systems which Entertain a Model of Themselves: Interaction Information and the Self-organization of Anticipation
Stability of multidimensional persistent homology with respect to domain perturbations -- computer vision with incomplete data.
2010-01-05: A conversion between utility and information (Wow!!)
Extending Karger's randomized min-cut Algorithm for a Synchronous Distributed setting
2009-12-30: Genus Computing for 3D digital objects: algorithm and implementation
High-Speed Signature Matching in Network Interface Device using Bloom Filters
Why so? or Why no? Functional Causality for Explaining Query Answers -- deeper semantics for relational databases.
Computing Principal Components Dynamically with applications to collision detection and fast rendering.
Backyard Cuckoo Hashing: Constant Worst-Case Operations with a Succinct Representation: together again for the first time: constant time -and- constant space.
Time and Memory Efficient Lempel-Ziv Compression Using Suffix Arrays: faster, smaller and "suited for text classification".
Teaching Physical Based Animation via OpenGL Slides
Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects: "fast, constraint-based reasoning"
A Generic Type and Effect System checked in Twelf.
2009-12-25: Interpretations of Directed Information in Portfolio Theory, Data Compression, and Hypothesis Testing
Typing rule-based transformations over topological collections -- generalizing ML pattern-matching.
2009-12-22: Wavelets on Graphs via Spectral Graph Theory
2009-12-19: Simple objects for Standard ML (1996): Reppy + Riecke: subtypes as conservative typesystem extension.
2009-12-08: A New Approach to Cold Start in Peer to Peer File Sharing Networks -- solving the free rider problem.
Nonlinear Effects in Stiffness Modeling of Robotic Manipulators -- Orthoglide goodness.
Context and Keyword Extraction in Plain Text Using a Graph Representation
A survey on algorithmic aspects of modular decomposition -- graphs and combinatorial optimization.
Computing Hulls And Centerpoints In Positive Definite Space: machine learning &tc.
2009-12-04: Sequential Clustering based Facial Feature Extraction Method for Automatic Creation of Facial Models from Orthogonal Views
A New Scheduling Algorithm For Real Time Tasks
Behavior and performance of the deep belief networks on image classification
Isometric Multi-Manifolds Learning
2009-12-02: A Multi-stage Probabilistic Algorithm for Dynamic Path-Planning: A tweak on Rapidly-evolving Random Trees (RRT).
2009-12-01: Maximin affinity learning of image segmentation: Minimizing the Rand index.
Faster and simpler approximation of stable matchings -- O(m) and "much simpler".
Hierarchies in Dictionary Definition Space -- Basic English rides again! :-)
2009-11-30: Untangling Phase and Time in Monophonic Sounds -- pitch-shifting &tc in Haskell.
Rate Distortion and Denoising of Individual Data Using Kolmogorov complexity
2009-11-27: Interactive Model Reconstruction with User Guidance -- 3D model construction in a minute using commodity computer and webcam.
ProFORMA: Probabilistic Feature-based Online Rapid Model Acquisition -- longer paper on same work as previous.
2009-11-26: Hearing the clusters in a graph: A distributed algorithm: Spectral-clustering results via FFT without eigenvector computations.
Non-photorealistic image processing: an Impressionist rendering
Adaptive information filtering for dynamic recommender systems
2009-11-24: Evolution of central pattern generators for the control of a five-link bipedal walking mechanism
Clustering with shallow trees
2009-11-22: Randomized Interior Point methods for Sampling and Optimization: Aspect-ratio independent Markov chain sampling.
Making the road by searching - A search engine based on Swarm Information Foraging: Ant algorithms at work.
Likelihood-based semi-supervised model selection with applications to speech processing
2009-11-19: Re-Pair Compression of Inverted Lists
A Minimal Periods Algorithm with Applications: suffix trees at work.
Fast algorithms for spherical harmonic expansions, III. (Spherical harmonics provide an orthogonal basis for describing oscillations on a sphere which are trivially rotatable -- useful for radiosity and shadowing &tc in 3D graphics, also physics, chem...)
Boosting through Optimization of Margin Distributions: Beating AdaBoost and LPBoost -- the latest wrinkle in boosting.
Musical Genres: Beating to the Rhythms of Different Drums
2009-11-17: On Bregman Distances and Divergences of Probability Measures
A Dynamic Near-Optimal Algorithm for Online Linear Programming
A formally verified compiler back-end
Graph polynomials and approximation of partition functions with Loopy Belief Propagation
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture
2009-11-12: A New Look at the Classical Entropy of Written English -- 1.65 bits/char, 74% redundancy.
An Intuitive Automated Modelling Interface for Systems Biology -- applied pi calculus.
Robust MOdels for Optic Flow Coding in Natural Scenes Inspired by Inset Biology -- supposedly efficient and easy to implement too.
2009-11-09: The relation between Pearson's correlation coefficient r and Salton's cosine measure
2009-11-04: Feature-Weighted Linear Stacking -- how better boosting won second place in Netflix.
Strange Bedfellows: Quantum Mechanics and Data Mining: Wonderful paper full of good intuition starting with the best overview of SVD (singular value decomposition) I've seen.
Novel Intrusion Detection using Probabilistic Neural Network and Adaptive Boosting
Visualizing Graphs with Node and Edge Labels
A $p$-adic RanSaC algorithm for stereo vision using Hensel lifting: Random Sample Consensus recovery of relative pose.
Sound and Complete Type Inference for a Systems Programming Language
2009-11-02: Calibration of 3-d.o.f. Translational Parallel Manipulators Using Leg Observations
From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm
On Pebble Automata for Data Languages with Decidable Emptiness Problem: Searching for more powerful analogues of regular expressions which still preserve their nice properties.
Metric and Kernel Learning using a Linear Transformation
Topological De-Noising: Strengthening the Topological Signal: Analysing high-dimensional datasets.
Sorting under Partial Information (without the Ellipsoid Algorithm) -- first practical algorithms?
A Wavelet-Based Digital Watermarking for Video -- I'm interested less in watermarks than the state of the art in 3D wavelets.
2009-10-29: Anomaly Detection with Score functions based on Nearest Neighbor Graphs
2009-10-26: Mechanizing the Metatheory of LF -- building on recent work by Harper &kith in Twelf for SML.
Adaptive model for recommendation of news ... "outperforms" ... "provides a general social mechanism"
Nonapproximablity of the Normalized Information Distance -- latest news from Vitanyi country.
2009-10-22: Designs, Lessons and Advice from Building Large Distributed Systems at Google (Jeff Dean).
2009-10-20: Pseudorandom Generators for Polynomial Threshold Functions: "first nontrivial PRGs for low-degree PTFs" ... applications from learning to voting theory ... "can help derandomize [e.g.] Goemans-Williamson Max-Cut".
Digital Curvatures Applied to 3D Object Analysis and Recognition: A Case Study: "multi-scale" ... "face recognition"
2009-10-20: The 1.375 Approximation Algorithm for Sorting by Transpositions Can Run in $O(n\log n)$ Time
Exact Inference in Graphical Models: is There More to it? -- pose inference &tc
Iterators, Recursors and Interaction Nets -- visual notations for functional programs.
b-Bit Minwise Hashing: One bit suffices.
Algorithms for Image Analysis and Combination of Pattern Classifiers with Application to Medical Diagnosis -- thesis.
Adaptive model for recommendation of news
2009-10-15: Type Safe Extensible Programming in MLPolyR -- thesis
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture -- optimizing Octave and Matlab
Positive Semidefinite Metric Learning with Boosting for image classification and retrieval
State of the Art Review for Applying Computational Intelligence and Machine Learning Techniques to Portfolio Optimisation
Expectation Maximization as Message Passing - Part I: Principles and Gaussian Messages
A unifying approach to picture grammars -- polynomial-time (O(grayvals*(pixels**2))) recognition by generalizing Cocke-Kasami-Younger (1967, O(N**3) from 1D to 2D. Grammar class subsumes quadtrees.
Expectation Maximization as Message Passing - Part I: Principles and Gaussian Messages
Bloggers Behavior and Emergent Communities in Blog Space -- via spectral analysis of temporal bipartite blog graphs.
Optimal hash functions for approximate closest pairs on the n-cube: beyond projection: asymptotically random and complete decoding algorithms.
2009-10-12: Towards a Unified Approach to (In)Decision: Routing, Games, Circuits, Consensus, and Beyond
Covering Points by Disjoint Boxes with Outliers
Local and global approaches of affinity propagation clustering for large scale data
Justifying additive-noise-model based causal discovery via algorithmic information theory
Decomposition of forging die for high speed machining
Machining strategy choice: performance VIEWER
Decomposition of forging dies for machining planning
2009-10-09: Simple, efficient maxima-finding algorithms for multidimensional samples: "very simple and easily coded and modified for practical needs"
On the Sample Complexity of Compressed Counting: "extremely useful for estimating Shannon entropy ... very simple algorithm"
Near-Optimal Detection in MIMO Systems using Gibbs Sampling: I suspect Markov Chain Monte Carlo Gibbs samplers likely have wider applications...
Some Thoughts on Hypercomputation: from pure math to pure theology in just ten pages! :-)
2009-10-06: Reduced-Rank Hidden Markov Models ... "robot vision modelling"...
On Metric Skyline Processing by PM-tree: similarity search in multimedia databases.
On the Interesting World of Fractals and Their Applications to Music "the fractal dimension of mustic is about 1.65 and varies between a high of 1.68 and a low of 1.60".
Clustering with shallow trees: "efficient"
Explicit Construction of Optimal Exact Regenerating Codes for Distributed Storage: "practical and easy to maintain" ... "peer-to-peer" ... "can handle multiple simultaneous node failures"
2009-10-05: Supporting Lock-Free Composition of Concurrent Data Objects: Life without deadlock.
Through-Wall Tracking Using Variance-Based Radio Tomography Networks
2009-10-02: Finding Associations and Computing Similarity via Biased Pair Sampling
Hierarchical Approach for Key Management in Mobile Ad hoc Networks
2009-09-29: MACH: Fast Randomized Tensor Decompositions with applications to computer vision &tc -- faster than SVD.
Geometrical Interpretation of Shannon's Entropy Based on the Born Rule -- logarithm of distribution dimension.
2009-09-27: Randomness-optimal Steganography
A Better Reduction Theorem for Store Buffers: the new lock-free concurrency, "TSO", total store order.
Bayesian Algorithmic Mechanism Design
2009-09-24: A Measure of the Connection Strengths between Graph Vertices with Applications: linear time rocks.
Theoretical Performance Analysis of Eigenvalue-based Detection
Higher-dimensional models of networks
Clustering with Obstacles in Spatial Databases
The meta book and size-dependent properties of written language: When Zipf's Law breaks down.
2009-09-21: Randomized Algorithms for Large scale SVMs
Efficient and Error-Correcting Data Structures for Membership and Polynomial Evaluation in the face of adversarial noise.
Fault Identification via Fault Identification via Non-parametric Belief Propagation
2009-09-18: On the largest empty axis-parallel box amidst $n$ points
2009-09-17: Distribution-Specific Agnostic Boosting
2009-09-15: Simple implementation of deletion from open-address hash table
Reducing Network Traffic in Unstructured P2P Systems Using Top-k Queries
2009-09-13: : Overview of contemporary image and video analysis, pursuit strategies, gabor dictionaries. Introduces "Image Folding" and combined use of discrete cosine dictionary and dirac basis imager representations.
Straggler Identification in Round-Trip Data Streams via Newton's Identities and Invertible Bloom Filters
2009-09-10: Kernel Spectral Curvature Clustering (KSCC) for computer vision.
Motion Segmentation by SCC on the Hopkins 155 Database
Building on Quicksand
2009-09-07: The Kalman Like Particle Filter : Optimal Estimation With Quantized Innovations/Measurements
The Euler Path to Static Level-Ancestors
Randomized Shellsort: A Simple Oblivious Sorting Algorithm
Efficient Approximation Algorithms for Minimum Enclosing Convex Shapes
Efficient Learning of Sparse Conditional Random Fields for Supervised Sequence Labelling
Sparse image representation by discrete cosine/spline based dictionaries
2009-09-04: Advances in Feature Selection with Mutual Information
Efficient parameter training for hidden Markov models using posterior sampling training and Viterbi training
2009-09-02: Scale-Based Gaussian Coverings: Combining Intra and Inter Mixture Models in Image Segmentation: k-means and wavelets, oh my.
2009-08-31: Efficient Authenticated Data Structures for Graph Connectivity and Geometric Search Problems
ABC-LogitBoost for Multi-class Classification
Integrating Post-Newtonian Equations on Graphics Processing Units: 50X speedup over CPUs.
2009-08-28: Graph-Theoretic Solutions to Computational Geometry Problems
SocialFilter: Collaborative Spam Mitigation using Social Networks
2009-08-26: Gabor wavelet analysis and the fractional Hilbert transform : "provides an intuitive interpretation...
Fast adaptive elliptical filtering using box splines
2009-08-14: Towards a Theory of Anonymous Networking
A dyadic solution of relative pose problems: "inherently robust"
2009-08-05: Streamed Learning: One-Pass SVMs
2009-08-02: Decidability of higher-order matching -- higher-order unification is undecidable (classical result) but higher-order matching is decidable (new result)
Recursive Estimation of Gauss-Markov Random Fields Indexed over 1-D Space leading to easy derivations of Kalman filters and recursive smoothers.
Geometric Approximation Algorithms, an online book-in-the-making including matrial on quadtrees, nearest neighbor and grid methods.
2009-07-27: Dynamic Deformation of Uniform Elastic Two-Layer Objects: "this thesis presents a two-layer uniform facet elastic object for real-time simulation based on physics modeling[...]"
A Fast Algorithm for Computing Geodesic Distances in Tree Space
Sequential pivotal mechanisms for public project problems (I don't know if this is useful -- need to take a peek).
2009-07-24: Contextual Bandits with Similarity Information and web ad placement.
2009-07-23: Self-adaptive web intrusion detection system applied to HTTP streams.
USUM: Update Summary Generation System: Explaining what's new on the web
Artificial Dendritic Cells: Multi-faceted Perspectives: taking algorithmic inspiration from the immune system.
2009-07-20: Parallel AdaBoost Algorithm for Gabor Wavelet Selection in Face Recognition
Inter Genre Similarity Modelling For Automatic Music Genre Classification
Fully Automatic 3D Reconstruction of Histological Images
Registration of Standardized Histological Images in Feature Space
2009-07-19: Decisions in Motion -- cheap, fast, practical robotic vision?
2009-07-15: GMap: Drawing Graphs as Maps
2009-07-13: Towards the quantification of the semantic information encoded in written language
Online Sorting via Searching and Selection
A class of structured P2P systems supporting browsing: increasing the functionality of distributed hash tables.
A Large-Scale Exploration of Effective Global Features for a Joint Entity Detection and Tracking Model -- pronoun resolution.
2009-07-10: Warren Buffet's favorite leading indicator: FTSI Freight Transportation Services Index: "Since 1979, across four recessions, the index "shows a strong leading relationship to the economy", with an acceleration of freight leading the economy "by an average of approximately 4 to 5 months"", most recent version is July 2009
2009-07-05: Camera Calibration Toolbox for Matlab and more generally Jean-Yves Bouguet's Caltech 3D-shape-from-images computer vision stuffl
Spontaneous organization leads to robustness in evolutionary algorithms
Generalized Collective Inference with Symmetric Clique Potentials: " ... for Potts potentials is an order of magnitude faster..."
2009-06-29: Efficient IRIS Recognition through Improvement of Feature Extraction and subset Selection: contourlets and SVM.
Exact Regenerating Codes for Distributed Storage
Vision Based Navigation for a Mobile Robot with Different Field of Views: experimental evolution of neural controllers.
2009-06-24: Automatic Spatially-Adaptive Balancing of Energy Terms for Image Segmentation: graph-based, MRI brain segmentation example.
A statistical learning approach to color demosaicing
2009-06-20: A Mathematician's Lament -- how K12 kills mathematical talent and curiosity.
2009-06-18: Adaptive Regularization of Ill-Posed Problems: Application to Non-rigid Image Registration
Optimal Constrained Resource Allocation Strategies under Low Risk Circumstances to applications including motion planning and job scheduling.
2009-06-16: Without a 'doubt'? Unsupervised discovery of downward-entailing operators -- unsupervised language semantics learning.
Exact Indexing for Massive Time Series Databases under Time Warping Distance
Combinatorial pyramids and discrete geometry for energy-minimizing segmentation
2009-06-04: Feature Reinforcement Learning: Part I: Unstructured MDPs
Segmentation of Facial Expressions Using Semi-Definite Programming and Generalized Principal Component Analysis
Universal Reinforcement Learning: Lempel-Ziv rides again.
2009-06-04: Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks
Thinning, Entropy and the Law of Thin Numbers
Size dependent word frequencies and translational invariance of books
Distributed elections in an Archimedean ring of processors
2009-05-26: Strong Dependencies between Software Components -- analysing the Debian package graph.
Faster estimation of the correlation fractal dimension using box-counting
The Usefulness of Multilevel Hash Tables with Multiple Hash Functions in Large Databases: "reduces join complexity from O(n2) to O(1)"
The Convergence of Bird Flocking
Statistical Properties of Fluctuations: A Method to Check Market Behavior
Faster Least Squares Approximation
Boosting the Accuracy of Finite Difference Schemes via Optimal Time Step Selection and Non-Iterative Defect Correction
Online Stochastic Matching: Beating 1-1/e: "we solve a max flow problem in a boosted flow graph"
2009-05-25: Two hierarchies of spline interpolations. Practical algorithms for multivariate higher order splines
Quantum Annealing for Clustering: Better than simulated annealing?
2009-05-18: Point-Set Registration: Coherent Point Drift -- looks like a core computer vision result!
Heterogeneous attachment strategies optimize the topology of dynamic wireless networks
Colorization of Natural Images via L1 Optimization
A statistical learning approach to color demosaicing
Approximation Algorithms for Bregman Co-clustering and Tensor Clustering
2009-05-15: Experience-driven formation of parts-based representations in a model of layered visual memory: face recognition made easy?
2009-05-13: Fast computation of the median by successive binning
2009-05-12: Reliable Process for Security Policy Deployment
Making Hand Geometry Verification System More Accurate Using Time Series Representation with R-K Band Learning
Concept Stability for Constructing Taxonomies of Web-site Users
Fast and Near-Optimal Matrix Completion via Randomized Basis Pursuit
A Recommender System to Support the Scholarly Communication Process
Mining Meaning from Wikipedia
Fixing Convergence of Gaussian Belief Propagation
Personalised and Dynamic Trust in Social Networks
John Reppy's Manticore Papers -- turning CML into an efficient parallel language
2009-05-09: BlobSeer: How to Enable Efficient Versioning for Large Object Storage under Heavy Access Concurrency: another wrinkle on P2P and distributed hashtables (DHT).
Characterizing Individual Communication Patterns efficiently inferring double Markov chain models oh my!
2009-05-07: Soft Motion Trajectory Planner for Service Manipulator Robot
Fully-Functional Static and Dynamic Succinct Trees -- range min-max trees, supposedly simple and practical.
2009-05-05: Robust Principal Component Analysis: Exact Recovery of Corrupted Low-Rank Matrices
Gaussian Belief with dynamic data and in dynamic network
Hiding Information in Retransmissions: underhanded uses for TCP/IP mechanisms.
Two-Level Fingerprinting Codes: keeping up with what the RIAA types are up to.
Maximum Flow in Directed Planar Graphs with Vertex Capacities O(N) and O(NlogN) solutions, refutation of competing recent algorithm for undirected case.
Geometric scaling: a simple preconditioner for certain linear systems with discontinuous coefficients: solving systems derived from PDE equations over heterogenous physical media.
2009-05-01: Software Model Checking via Large-Block Encoding -- reducing the exponential search space of software verification abstract reachability trees (ARTs) by using bigger chunks.
Succinct Greedy Graph Drawing in R^2
Collective dynamics of social annotation
Norm-Product Belief Propagation: Primal-Dual Message-Passing for Approximate Inference: generalizing sum-product max-product and tree-reweighted approaches.
2009-04-30: Linear-Space Computation of the Edit-Distance between a String and a Finite Automaton
Robust Regulatory Networks
2009-04-28: Some Aspects of Categories in Computer Science -- scads of great stuff!
2009-04-27: Space Efficient Multi-Dimensional Range Reporting
A data structure for multi-dimensional range reporting
On a very quick skim, the practical solutions of choice may be those from A functional approach to data structures and its use in multidimensional searching : "redesigned range trees and segment trees to use linear storage" "easy to implement".
The standard solutions appear in practice to be kd-trees and interval trees -- the subsequent stuff may all be lily-gilding for most practical purposes.
2009-04-24: Introduction to Machine Learning: Class Notes 67577
Another Virtue of Wavelet Trees: "efficient range-selection queries".
2009-04-20: On Counteracting Byzantine Attacks in Network Coded Peer-to-Peer Networks
Fast Computation of Empirically Tight Bounds for the Diameter of Massive Graphs
Multi-Instance Learning by Treating Instances As Non-I.I.D. Samples
2009-04-18: Geodesic Paths On 3D Surfaces: Survey and Open Problems
2009-04-16: Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes
A PTAS for Minimum Clique Partition in Unit Disk Graphs -- polynomial-time approximations scheme with a host of practical applications claimed including ad hoc radio networks.
2009-04-15: Simplicial Databases: relational databases through the prism of category theory.
A new Protocol for 1-2 Oblivious Transfer
2009-04-12: On the closed-form solution of the rotation matrix arising in computer vision problems
2009-04-08: 5-axis High Speed Milling Optimisation
2009-04-06: Fast FPT algorithms for vertex subset and vertex partitioning problems using neighborhood unions -- "FPT" == "Fixed Parameter Tractable", one generic class of attacks on NP-complete problems.
Performing Nonlinear Blind Source Separation with Signal Invariants
2009-04-03: Visual approach for data mining on medical information databases using Fastmap algorithm
MIML: A Framework for Learning with Ambiguous Objects
2009-03-31: Time manipulation technique for speeding up reinforcement learning in simulations
Typed Open Programming, Andreas Rossberg's dissertation on his work on Alice ML &tc.
2009-03-27: Graph polynomials and approximation of partition functions with Loopy Belief Propagation
2009-03-24: Pairing Heaps with Costless Meld: "even simpler"
2009-03-23: Combinatorial Ricci Curvature and Laplacians for Image Processing
Computations modulo regular chains: triangular decompositions "orders of magnitude faster"
2009-03-21: Le trading algorithmique
A New Local Distance-Based Outlier Detection Approach for Scattered Real-World Data
2009-03-19: Spatial Skyline Queries: An Efficient Geometric Algorithm
Efficiently Learning a Detection Cascade with Sparse Eigenvectors: better boosting
Markov Random Field Segmentation of Brain MR Images
Norm-Product Belief Propagation: Primal-Dual Message-Passing for Approximate Inference
Matrix Completion With Noise: "a remarkable new field"
Matrix Completion from a Few Entries
2009-03-14: Adaptive Mesh Approach for Predicting Algorithm Behavior with Application to Visibility Culling in Computer Graphics
Analysis of a Bloom Filter Algorithm via the Supermarket Model
Supernodal Analysis Revisited: easier circuit analysis algorithm Better Termination for Prolog with Constraints: dynamic occurs check detection. Used in SWI-Prolog.
Role-Based Access Controls: Better fit to civilian needs.
Rfuzzy framework: claims fuzzy logic is finally getting real.
A Generalization of the Shannon-McMillan-Breiman Theorem and the Kelly Criterion Leading to a Definition of Pragmatic Information: "Fortune's Formula" updated.
Constraint solving for high-level WCET analysis: latest in worst-case execution time analysis for realtime systems.
A Semantics-Aware Editing Environment for Prolog in Eclipse: Might be relevant to writing a Mythryl eclipse plug-in. Or not.
2009-03-10: The Power of Convex Relaxation: Near-Optimal Matrix Completion: solving the Netflix and collaborative filtering problems.
2009-03-03: Mythryl programming language.
Heaps Simplified Haeupler, Sen + Tarjan(!)
Manipulation Robustness of Collaborative Filtering Systems
De-amortized Cuckoo Hashing: Provable Worst-Case Performance and Experimental Results

2009-02-28 Dipole Vectors in Images Processing: proposes using dipoles where gradients would normally be used, but I'm not clear that any advantage is claimed or demonstrated.
2009-02-16: The Forgiving Graph: A distributed data structure for low stretch under adversarial attack
2009-02-13: A formally verified compiler back-end Xavier Leroy -- uses Coq.
Feature Hashing for Large Scale Multitask Learning
2009-02-12: A Spectral Algorithm for Learning Hidden Markov Models -- efficient and simple with applications to natural language learning. Updated 2009-06-09 and 2009-08-22.
2009-02-05: Genetic algorithm based optimization and post optimality analysis of multi-pass face milling
2009-01-20: Beyond word frequency: Bursts, lulls, and scaling in the temporal distributions of words: trucking on down the Zipf trail.
2009-01-15: A mathematical proof of the existence of trends in financial time series
2009-01-04: A Simple, Linear-Time Algorithm for x86 Jump Encoding
2008-12-28: Random Projections for the Nonnegative Least-Squares Problem
2008-12-22: An interface group for process components
A New Approach to Collaborative Filtering: Operator Estimation with Spectral Regularization
2008-12-18: Topological structures in the equities market network
Linearly Parameterized Bandits
2008-12-16: A Growing Self-Organizing Network for Reconstructing Curves and Surfaces
Binary Classification Based on Potentials: "simple and computationally trivial" ... "exceed that of standard Support Vector Machine methods"
2008-12-02: Delaunay Triangulations in Linear Time?
Approximation Algorithms for Bregman Co-clustering and Tensor Clustering: generalizations to Euclidean k-means.
2008-12-02: An Integrated Software-based Solution for Modular and Self-independent Networked Robot
Error-Correcting Data Structures
2008-11-21: A Spectral Algorithm for Learning Hidden Markov Models
2008-11-21: Faster Retrieval with a Two-Pass Dynamic-Time-Warping Lower Bound
Broadcasting in Prefix Space: P2P Data Dissemination with Predictable Performance
2008-11-12: Robust Regression and Lasso -- l^1 regularized least squares
2008-11-10: Coq in a hurry
Adaptive Base Class Boost for Multi-class Classification
NB-FEB: An Easy-to-Use and Scalable Universal Synchronization Primitive for Parallel Programming
Learning to rank with combinatorial Hodge theory
2008-11-08: Who is the best connected computer scientist? -- many good references on applying statistical (&tc) physics techniques to social networks.
Cost-effective Outbreak Detection in Networks -- well publicized CMU algorithm also applied to blogosphere analysis &tc.
2008-11-03: A branch-and-bound feature selection algorithm for U-shaped cost functions
On the Possibility of Learning in Reactive Environments with Arbitrary Dependence
On the Possibility of Learning in Reactive Environments with Arbitrary Dependence -- Gell-Mann improves Komogorov
On the Vocabulary of Grammar-Based Codes and the Logical Consistency of Texts -- re-deriving Zipf's Law at a more profound level.
2008-10-31: A Novel Clustering Algorithm Based on a Modified Model of Random Walk
2008-10-28: Assembling Actor-based Mind-Maps from Text Stream
A Restless Bandit Formulation of Multi-channel Opportunistic Access: Indexablity and Index Policy
2008-10-27: Entropy of Hidden Markov Processes via Cycle Expansion
Efficient Exact Inference in Planar Ising Models "parameter estimation on image denoising and segmentation problems shows our approach to be efficient and effective."
Efficient Algorithmic Techniques for Several Multidimensional Geometric Data Management and Analysis Problems: segment tree, range tree, sweep-line.
Randomization Adaptive Self-Stabilization "constant time Byzantine self-stabilizing clock synchronization"
The Mob core language and abstract machine "syntax and the semantics of a scripting language for programming mobile agents" "prove[d] sound by encoding its semantics into the underlying calculus."
2008-10-25: Bucketing Coding and Information Theory for the Statistical High Dimensional Nearest Neighbor Problem
A Heterogeneous High Dimensional Approximate Nearest Neighbor Algorithm
2008-10-23: Le trading algorithmique
Directed Transmission Method, A Fully Asynchronous Approach to Solve Sparse Linear Systems in Parallel: Claims to be first non-synchronous and thus truly scalable approach.
Quantum reinforcement learning
Classdesc and Graphcode: support for scientific programming in C++: Argues that reflection is unsupported in C++ but critically important for serialization and thus distributed programming, and offers a patch for the problem. May be Mythryl relevant. 2008-10-21: Text as Statistical Mechanics Object
Detecting the Most Unusual Part of a Digital Image
A Minimum Relative Entropy Principle for Learning and Acting
2008-10-16: A Vision-based Computed Torque Control for Parallel Kinematic Machines
Efficient Pattern Matching on Binary Strings
2008-10-13: SOSEMANUK: a fast software-oriented stream cipher
2008-10-09: Peer-to-Peer Secure Multi-Party Numerical Computation
2008-10-08: Soft Uncoupling of Markov Chains for Permeable Language Distinction: A New Algorithm
Clustering and Feature Selection using Sparse Principal Component Analysis
2008-09-30: The Imaginary Sliding Window As a New Data Structure for Adaptive Algorithms
Multi-armed bandits in metric spaces
2008-09-27: Llull and Copeland Voting Computationally Resist Bribery and Control
2008-09-26: Analyzing U.S. 2008 Elections with Mathematica: "gives step by step details for how to import raw data from Mason-Dixon, Rasmussen, and Quinnipiac." (Slashdot)
2008-09-22:
2008-09-19: Hybrid System For Automatic Generation of Style-Specific Accompaniment
2008-09-17: Algorithmic information theory -- Grunwald + Vitanyi.
2008-09-16: Normalized Information Distance -- another Vitanyi/Cilibrasi paper.
One Predictors for Online Rating-Based Collaborative Filtering
SML/NJ exception analyser
2008-09-13: Randomized Distributed Configuration Management of Wireless Networks: Multi-layer Markov Random Fields and Near-Optimality
2008-09-11: Design of a Quadruped Robot Driven by Air Muscles
Evolving Dynamic Gaits on a Physical Robot
2008-09-09: Applications of Universal Source Coding to Statistical Analysis of Time Series: "often the suggested methods and tests are more powerful than known ones when they are applied in practice."
2008-09-02: Transmission capacity: applying stochastic geometry to uncoordinated ad hoc networks
On the nature of long-range letter correlations in texts
Highly accurate recommendation algorithm based on high-order similarities
2008-08-28: A tutorial on support vector machines for pattern recognition (1998)
2008-08-25: Johnny Lee's CMU Wii hacks &tc pages
2008-08-22: Fast Intrinsic Mode Decomposition of Time Series Data
A simple and efficient solution of the identifiability problem for hidden Markov sources
Building an interpretable fuzzy rule base from data using Orthogonal Least Squares
2008-08-21: Accelerating Scientific Computations with Mixed Precision Algorithms
Being accurate is not enough: measuring and optimizing the diversity of recommendations
A Scalable, Commodity Data Center Network Architecture
2008-08-18: A Simple E-Voting Protocol
Pitch Tracking of Acoustic Signals based on Average Squared Mean Difference Function
2008-08-13: Our Brothers' Keepers: Secure Routing with High Performance -- anti-spam distributed hash table.
A Very Efficient Scheme for Estimating Entropy of Data Streams Using Compressed Counting
2008-08-11: Image Steganography, a New Approach for Transferring Security Information, including a review of the field.
An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience
2008-08-10: Optimally Efficient Prefix Search and Multicast in Structured P2P Networks
Commonsense Knowledge, Ontology and Ordinary Language
2008-08-07: Text Modeling using Unsupervised Topic Models and Concept Hierarchies
2008-08-05: A Public Key Block Cipher Based on Multivariate Quadratic Quasigroups -- fast on intel, faster in FPGA.
Schroedinger-like PageRank equation and localization in the WWW -- faster, non-iterative computation of PageRank.
Coinductive big-step operational semantics by Xavier LeRoy -- all results proved using Coq.
2008-08-01 Accelerated Option Pricing in Multiple Scenarios
Pricing American Options for Jump Diffusions by Iterating Optimal Stopping Problems for Diffusions
2008-07-29 Positive factor networks: A graphical framework for modeling non-negative sequential data: "well suited to modeling the magnitude spectra of audio signals", "straightforward to implementstraightforward to implement"
Improved Algorithms for Approximate String Matching
On Introspection, Metacognitive Control and Augmented Data Mining Live Cycles
2008-07-23 Modularity clustering is force-directed layout
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Fast unfolding of communities in large networks -- roughly linear-time clustering.
2008-07-23 An adaptive embedded architecture for real-time Particle Image Velocimetry algorithms
TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering
2008-07-20 On Probability Distributions for Trees: Representations, Inference and Learning
2008-07-11 Computing approximate tree edit distance using relaxation labeling
2008-07-08 A Computational Study of Cost Reoptimization for Min-Cost Flow Problems
Informed Traders: "Explicit trading strategies leading to statistical arbitrage opportunities, taking advantage of the additional information, are constructed, illustrating how excess information can be translated into profit."
2008-07-15 Latent Topic Models for Hypertext Gruber, M. Rosen-Zvi and Y. Weiss 2008 10p
2008-07-07 Register Allocation in Structured Programs Kannan + Proebsting 1999 16p
Fast Copy Coalescing and Live Range Identification (2002)
Combined Code Motion and Register Allocation using the Value State Graph
2008-07-03 Mapping the Structural Core of Human Cerebral Cortex
Modeling belief systems with scale-free networks
Graph Drawing by force-directed placement
Drawing Graphs Nicely
Network Flow, including pointers to source code, from the excellent online Algorithm Design Manual
Algorithms for drawing graphs: an Annotated Bibliography
2008-06-27 RoboCupRescue -- Robot League Team IUB Rescue, Germany -- nice info on robust robot design.
Scalar Quantization for Audio Data Coding
An Efficient Algorithm for 2D Euclidean 2-Center with Outliers
Space-Efficient Multi-Dimensional Range Reporting
The 1-fixed-endpoint Path Cover Problem is Polynomial on Interval Graph
2008-06-26 Linear Parameter Varying Model Identification for Control of Rotorcraft-based UAV
A comparison of two approaches for polynomial time algorithms computing basic graph parameters
2008-06-22 Intermittent estimation of stationary time series
Nonparametric inference for ergodic, stationary time series
Prediction for discrete time series
Order estimation of Markov chains
Forward estimation for ergodic time series
On estimating the memory for finitarily Markovian processes
Limits to consistent on-line forecasting for ergodic time series
Strongly consistent nonparametric forecasting and regression for stationary ergodic sequences
On Sequential Estimation and Prediction for Discrete Time Series
Weakly Convergent Nonparametric Forecasting of Stationary Time Series
A simple randomized algorithm for sequential prediction of ergodic time series
Boosting Trees for Anti-Spam Email Filtering: AdaBoost
2008-06-16 Exposing Multi-Relational Networks to Single-Relational Network Analysis Algorithms
Approximately Counting Embeddings into Random Graphs
2008-06-14 Max Cut and the Smallest Eigenvalue
Classification of curves in 2D and 3D via affine integral signatures with applications to noisy images.
2008-06-10 Learning Generative Visual Models from Few Training Examples: An Incremental Bayesian Approach Fei-Fei, Fergus + Perona, 2004, Caltech/Oxford, 9p -- vs maximum likelihood.
2008-06-10 Modeling Visual Information Processing in Brain: A Computer Vision Point of View and Approach Diamant 2007
Using Images to create a Hierarchical Grid Spatial Index Machowski + Marwala 2007
2008-06-09 Histograms and Wavelets on Probabilistic Data
Belief Propagation and Beyond for Particle Tracking
2008-06-08 Distinctive Image Features from Scale-Invariant Keypoints David G Lowe 2003 29p -- the "choo-choo" paper. (Somehow I didn't add this paper to this list first time around?!)
2008-06-06 Challenges and Directions for Monitoring P2p File Sharing Networks -or- Why My Printer Received a DMCA Takedown Notice
2008-06-03 Telex: Principled System Support for Write-Sharing in Collaborative Applications -- more good work from INRIA. Leverages commutative operations but supports non-commutative ops. Open source in Java. Multilogs, action-constraint graphs (acg), vofs.
2008-05-30 Exact Matrix Completion via Convex Optimization -- I'm as interested in the references as the content.
Community Detection using a Measure of Global Influence
2008-05-27 The Structure of Narrative: the Case of Film Scripts based on McKee's book "Story: Substance, Structure, Style and the Principles of Screenwriting".
2008-05-24 Learning Hierarchical Models of Scenes, Objects and Parts
Small Codes and Large Image Databases for Recognition -- effectively indexing millions of images in less than a gig of ram (see also popular write-up here and other papers and programs by MIT's Anonio Torralba
Fast Pose Esimation with Parameter-Sensitive Hashing -- cited as a example of using Locality Sensitive Hashing (LSH) to efficiently (approximately) solve the nearest-neighbor problem in high-dimensional euclidean spaces.
2008-05-20 Finger Indexed Sets: New Approaches
The Margitron: A Generalised Perceptron with Margin -- with experimental comparisons to SVM (support vector machines).
2008-05-14 Platform-Independent Firewall Policy Representation
2008-05-13 From opencv-dev: Shape indexing using approximate nearest-neighbor search in high dimensional spaces.
2008-05-09 Clustering of scientific citations in Wikipedia -- I mainly want to understand the methodology, but the sample application is interesting too.
Algorithm for Singular Value Decomposition of Matrices in Blocks -- an attempt to scale beyond the current limits of SVD by exploiting matrix structure.
2008-05-07 Fast Integer Multiplication using Modular Arithmetic
2008-05-05 Discrete Mathematics for Computer Science, Some Notes -- looks like a good review, and I've always been shaky on math. :)
2008-05-04 Morphing of Triangular Meshes in Shape Space
The Tsallis entropy and the Shannon entropy of a universal probability
2008-05-01 Straight Skeletons of Three-Dimensional Polyhedra -- in particular of voxelsets.
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks
Nonnegative Matrix Factorization via Rank-One Downdate -- riff on a popular data mining technique, demonstrated on realistic datasets.
2008-04-29 High-dimensional analysis of semidefinite relaxations for sparse principal components
2008-04-23 Isotropic PCA and Affine-Invariant Clustering
2008-04-21 A Synthesizer based on square waves "... synthesize complex signals simply in software, using general purpose microprocessors, even in real-time. ..."
Automatic Contour Extraction from 2D Neuron Images
Reconstruction of Multidimensional Signals from Irregular Noisy Samples
Phoneme recognition in TIMIT with BLSTM-CTC -- I mostly want to check out the references for the current state of the art.
A Cultural Market Model
2008-04-18 The Geometry of Musical Chords -- see also this.
2008-04-18 Agner Fog's Software Optimization Resources: Referenced by Intel's OpenCV source code, includes info on finding Intel's docs on their site.
2008-04-15 Linear Time Recognition Algorithms for Topological Invariants in 3D
2008-04-14 An Optimal Bloom Filter Replacement Based on Matrix Solving
On the Extension of Pseudo-Boolean Functions for the Aggregation of Interacting Criteria
2008-04-10 Mechanizing the Metatheory of LF: latest on Twelf &tc.
2008-04-02 From Random Graph to Small World by Wandering -- might be relevant to keeping peer-to-peer networks well connected.
2008-03-31 Human dynamics revealed through Web analytics
Structure and Interpretation of Computer Programs
Succinct Data Structures for Retrieval and Approximate Membership
The Category-Theoretic Arithmetic of Information
2008-03-20 Figuring out Actors in Text Streams: Using Collocations to establish Incremental Mind-maps
An Efficient Spectral Algorithm for Network Community Discovery and Its Applications also Supplementary materials for ``Identifying network communities with a high resolution'', Identifying network communities with a high resolution

Simple, linear-time modular decomposition " fundamental for many important problems in algorithmic graph theory including transitive orientation, the recognition of several classes of graphs" "we present the first simple, linear-time algorithm to compute the modular decomposition tree of an undirected graph."
2008-03-17 GraphStream: A Tool for bridging the gap between Complex Systems and Dynamic Graphs
Graph Sparsification by Effective Resistances
2008-03-07 Incremental Topological Ordering and Strong Component Maintenance
2008-03-05 Network Coding for Distributed Storage Systems -- more efficient peer-to-peer databases.
Fast unfolding of community hierarchies in large networks
2008-03-05 Precomputed Radiance Transfer for Real-Time Rendering in Dynamic, Low-Frequency Lighting Environments
2008-03-03 Polynomial time algorithms for bi-criteria, multi-objective and ratio problems in clustering and imaging. Part I: Normalized cut and ratio regions
2008-03-02 Centroid estimation in discrete high-dimensional spaces with applications in biology -- billed as a fundamental breakthrough replacing maximum likelihood, which fails on large datasets where any individual solution has probability more or less zero.
2008-02-29 Hubs in Languages: Scale Free Networks of Synonyms
Brain architecture: A design for natural computation.
2008-02-26 Time Warp Edit Distance -- timewarping sequences with nonuniform sampling rates.
Wavelet and Curvelet Moments for Image Classification: Application to Aggregate Mixture Grading
2008-02-24 The Forgiving Tree: A Self-Healing Distributed Data Structure -- repairing peer-to-peer networks in the face of hostile node takedowns.
Use of Rapid Probabilistic Argumentation for Ranking on Large Complex Networks -- a roughly linear approximation to PageRank.
PVM-Distributed Implementation of the Radiance Code
Simulation of Free Surface Compressible Flows Via a Two Fluid Model -- cleanly simulating the air/water interface, including handling breaking waves.
Fame Emerges as a Result of Small Memory
2008-02-19 Generic and Typical Ranks of Three-Way Arrays
Multiclass Approaches for Support Vector Machine Based Land Cover Classification
2008-02-14 Combining Expert Advice Efficiently -- meta-Markov stuff.
2008-02-13 Zero Knowledge Authentication Schemes from Actions on Graphs, Groups or Rings
Discrete Complex Structure on Surfel Surfaces -- also has refs to similar work on polyhedral surfaces.
2008-02-11 sLIB open(?) source triangulates NURBS and Bezier surfaces 100X faster than earlier methods, supposedly.
Adaptive Context Trees and Text Clustering Jean-Phillipe Vert 28p 2000 -- improved Markov probability distributions for text.
Copped from a slashdot discussion of webdesign for geeks: Free CSS Templates .org and Open Source Web Design or Web design from scratch
. or Google's CSS Blueprint site. One suggestion: "search for common topics like balance, alignment, contrast, whitespace, optical center, typography, color theory -- or just "graphic design principles". Other suggestions: "rule of thirds" "golden rectangles" "use of circles", "active and passive shapes", "use of intersecting diagonals", "negative space". And The Principles of Beautiful Web Design, Jason Beaird
2008-02-10 Small Is Not Always Beautiful -- piece size optimization in BitTorrent.
2008-02-09 Maintaining Hierarchical Graph Views for Dynamic Graphs Marcus Raitner, 16p 2004
2008-02-07 Distributed Double Spending Prevention
2008-02-05 Multi-Layer Perceptrons and Symbolic Data
2008-02-02 Manufacturing Datatypes, Ralf Hinze, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Dependently Typed Data Structures, Hongwei Xi, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Teaching Monadic Algorithms of First-Year Students, Ricardo Pena et al, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Modular Lazy Search for Constraint Satisfaction Problems, Nordin and Tolmach, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Persistent Triangulations, CMU Gang, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages includes a new convex hull algorithm.
An Algebraic Dynamic Programming Approach to the Analysis of Recombinant DNA Sequences, Giegerich, Kurz & Weiller, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Constructing Red-Black Trees, Ralf Hinze, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
An Experimental Study of Compression Methods for Functional Tries, Iivonen & Tikkanen, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
2008-02-01 Automatic Text Area Segementation in Natural Images
2008-01-29 Face Recognition: A Single View Based HMM Approach -- Hung-Son Le dissertation, Umea U Digital Media Lab 2008 -- latest thing in face stuff, supposedly basis for a soon-to-debut face search engine.
2008-01-28 Stanford 3d-from-photos system using small-patch random markov or some such. (Slashdotted at the moment! :)
Wicked Lasers with a 4100 lumen flashlight &tc.
2008-01-25 Picking up the Pieces: Self-Healing in Reconfigurable Networks
2008-01-19 SIMON, open source speach understanding.
2008-01-14 Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications
Instant Computing -- A new Computation Paradigm
2008-01-05 Fast Integer Multiplcation using Modular Arithmetic
2008-01-05 Certifying floating-point implementations using Gappa -- practical proofs of numeric programs.
Toward a statistical mechanics of four letter words
Kolmogorov complexity in perspective covering Cilibrasi's work &tc.
2008-01-01 CrystalSpace appears to be the open source 3D game engine of choice at the moment.
A novel set of rotationally and translationally invariant features for images based on the non-commutative bispectrum.
2007-12-31 Judgment -- why A => B is "not just B or not A".
2007-12-21 Clairlib docs Natural Language Processing (NLP), Information Retrieval (IR), and Network Analysis. Its architecture also allows for external software to be plugged in with very little effort. Functionality native to Clairlib includes Tokenization, Summarization, LexRank, Biased LexRank, Document Clustering, Document Indexing, PageRank, Biased PageRank, Web Graph Analysis, Network Generation, Power Law Distribution Analysis, Network Analysis (clustering coefficient, degree distribution plotting, average shortest path, diameter, triangles, shortest path matrices, connected components), Cosine Similarity, Random Walks on Graphs, Statistics (distributions, tests), Tf, Idf, Community Finding.
Universal Intelligence: A Definition of Machine Intelligence
Compressed Text Indexes:From Theory to Practice
Graph kernels between point clouds "We derive polynomial time dynamic programming recursions and present applications to recognition of handwritten digits and Chinese characters from few training examples."
2007-12-09 Efficient Modularity Optimization: Multi-Step Greedy Algorithm and Vertex Mover Refinement
2007-12-07 Dimensionality Reduction and Reconstruction using Mirroring Neural Networks and Object Recognition based on Reduced Dimension Characteristic Vector
Automatic Pattern Classification by Unsupervised Learning Using Dimensionality Reduction of Data with Mirroring Neural Networks
2007-12-03 Context Free Art, courtesy of Drake.
2007-12-03 Harmony.org.uk: A hacker with a physics doctorate analyses chord progressions via phrase structure grammars -- just my cup of tea! :)
2007-11-22 Improved Fully Dynamic Reachability Algorithm for Directed Graph
Fourvector algebra for 3D rotations and orientations, this non-commutative, non-associative algebra allegedly combines the best of quaternions and matrices. In particular, supposedly more numerically stable, so single precision rotations might be more practical.
2007-11-12 Coding facial Expressions with Gabor Wavelets, br> Automatic classification of Single Facial Images, Michael J Lyons, Julien Budynek, Shigeru Akamatsu 1999
2007-11-12 Empirical Evaluation of Four Tensor Decomposition Algorithms -- SVD works great, but only for problems with two modes: This paper explores extending the approach to (e.g.) three-mode problems.
A Polynomial Time Algorithm for Graph Isomorphism. Note that this is not about SUBgraph isomorphism, which known to be NP-hard. Paper also points to previously known algorithms which efficiently detect graph isomorphism in most practical cases.
NB: May have been refuted in A Family of Counter Examples to an Approach to Graph Isomorphism
2007-11-12 Data Structures for Mergeable Trees
2007-11-11 Optimal Solutions for Sparse Principal Component Analysis
2007-11-04 Faster Algorithms for Online Topological Ordering
2007-11-03 Stix Fonts -- major project releasing fonts for science and engineering.
2007-11-01 A Tutorial on Spectral Clustering
Clustering with Transitive Distance and K-Means Duality -- claims spectral-clustering like results but with O(N**2) cost instead of O(N**3) [Added 2007-11-26]
2007-10-31 Code Similarity on High Level Programs -- this looks like a good entrypoint into the recent literature on Fast Dynamic Time Warping. (FDTW)
A Query-by-Singing System Based on Dynamic Programming Jang + Gao 2000 5p -- this is the FDTW paper referenced by the above.
2007-10-29 Escalating The War On SPAM Through Practical POW Exchange
Neutrosophic Relational Data Model -- handling inconsistent AND incomplete information within the relation paradigm.
2007-10-27 The BinDCT: Fast Multiplierless Approximation of the DCTTrac D Tran 2000 7p
2007-10-24 Complex Queries in DHT-based Peer-to-Peer Networks: Describes briefly how to ab/use DHTs to do substring-match lookups, before diving into attempting to implement SQL on them.
Looking up data in P2P systems Balakrishnan et al: Looks like a decent entrypoint into the literature on current distributed hash table praxis in the peer-to-peer world.
2007-10-23 A quick search method for audio signals based on a piecewise linear representation of feature trajectories
Beyond Feedforward Models Trained by Backpropagation: a Practical Training Tool for a More Efficient Universal Approximator
2007-10-22 On a Clique-Based Integer Programming Formulation of Vertex Colouring with Applications in Course Timetabling -- good overview of the state of graph coloring generally, references a 1994 paper on register assignment in particular.
2007-10-17 Recommendation model based on opinion diffusion.
2007-10-16 Geometric Analogue of Holographic Reduced Representation *blink*.
An efficient reduction of ranking to classification" -- "nlogn" is music to my ears, and being able to learn non-transitive preference sets is also cool.
2007-10-12 Lossless Representation of Graphs using Distributions -- this sounds esoteric, but gives a way to reduce graphs to sortable keys which can be used for searching and sorting, which is very practical indeed!
2007-10-11 Comparison and Combination of State-of-the-art Techniques for Handwritten Character Recognition: Topping the MNIST Benchmark
2007-10-10 An Extensible Theory of Indexed Types 12p 2008 Daniel R Licata + Robert Harper: Practical-looking approach to going beyond simple type systems to allow programmer-defined LF-based assertions and proofs.
2007-10-09 Designing a commutative replicated data type -- simple, practical shared text editing?
Mined from the above:
"Weak-consistency group communication and membership" Golding, 1992 UCSC thesis: "efficient implementation of stability that compacts acknowledgements for all past operations into a single vector clock or matrix clock."
Consensus on transaction commit Jim Gey and Leslie Lamport, Mar 2006: fault-tolerant distributed commit protocol.
The part-time parliament Leslie Lamport, May 1998: Distributed concensus (Paxos).
Generalized consensus and Paxos Leslie Lamport 2004: Follow-up to above
Flexible Update Propagation for Weakly Consistent Replication14p 1997: Epidemic communication ensuring causality.
2007-10-04 Colour image segmentation by the vector-valued Allen-Cahn phase-field model: a multigrid solution
A Fast Heuristic Algorithm Based on Verification and Elimination Methods for Maximum Clique Problem"
2007-10-01 High-Order Nonparametric Belief-Propagation for Fast Image Inpainting
2007-09-30 Practical Multiwriter Lock-Free Queues for "Hard Real-Time" Systems without CAS
2007-09-26 Classification of Images Using Support Vector Machines
2007-09-25 Self-organizing maps and symbolic data -- adapting SOM to non-vector input data.
Resampling methods for parameter-free and robust feature selection with mutual information
Functional Multi-Layer Perceptron: a Nonlinear Tool for Functional Data Analysis -- looks like a good entrypoint into the perceptron state of the art.
Algorithmic and topological aspects of semi-algebraic sets defined by quadratic polynomial new, efficient connected components algorithm &tc (thesis).
2007-09-23 Speeding up Simplification of Polygonal Curves using Nested Approximations
2007-09-17 On Universal Prediction and Bayesian Confirmation -- time I caught up on the state of the art, this looks like a good entrypoint.
2007-09-17 Bregman Voronoi Diagrams: Properties, Algorithms and Applications "...information-theoretic Voronoi diagrams...show how to compute them efficiently...of interest in the context of computational geometry and machine learning"
Using Data Compressors to Construct Rank Tests
Simple Algorithmic Principles of Discovery, Subjective Beauty, Selective Attention, Curiosity & Creativity
2007-09-15 Fully persistent lists with catenation, Driscoll, Sleator, Tarjan. See also Persistent Datastructures (MIT open course) and Making Data-Structures Persistent by James R. Driscoll, Neil Sarnak, Daniel D. Sleator, Robert E. Tarjan and VLists (Wikipedia), a 2002 innovation.
2007-09-14 Distribution of PageRank Mass Among Principal Components of the Web -- has a good description of the PageRank algorithm, for starters.
Toward Psycho-robots ... "Evolution of ideas is described by dynamical systems in metric mental space." ...
2007-09-10 An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation
Using RDF to Model the Structure and Process of Systems
Belief-Propagation for Weighted b-Matchings on Arbitrary Graphs and its Relation to Linear Programs with Integer Solutions
Efficient Algorithms for Node Disjoint Subgraph Homeomorphism Determination
A Class of Parallel Tiled Linear Algebra Algorithms for Multicore Architectures
The rank-width of Directed Graphs
Constraint optimization and landscapes
2007-09-10 On Ultrametric Algorithmic Information <--ESSENTIAL READING! Haar wavelets, face recognition, much much more.
2007-06-29 Radix Sorting With No Extra Space
User driven applications -- new design paradigm
Unison as a Self-Stabilizing Wave Stream Algorithm in Asynchronous Anonymous Networks
Faster algorithms for finding lowest common ancestors in directed acyclic graphs, Artur Czumaj, Miroslaw Kowaluk, Andrzej Lingas 2005, 14p -- good recent Tarjan type stuff with good references.
A Locally Adaptive Data Compression Scheme Jon Louis Bentley, Daniel D Sleator, Robert E Tarjan, Victor K Wei, 1986 11p
NB: Should check out all of Google Scholar's hits on "Tarjan" one of these days...
2007-06-18 The XVision2 Project -- Yale vision library used by the Haskell FVision folx.
FVision: A Declarative Language for Visual Tracking (2001) -- Haskell for scripting, C++ library for crunching.
2007-06-16 Information-theoretic security without an honest majority
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
Dualheap Selection Algorithm: Efficient, Inherently Parallel and Somewhat Mysterious
2007-06-08Two Simplified Algorithms for Maintaining Order in a List -- Dietz-Sleator order maintainance without the tears (complexity): short version. Also see the original 1988 Dietz-Sleator paper
2007-06-06 Inferring the Composition of a Trader Population in a Financial Market
2007-06-03 Open Source Business Models
2007-05-31 Truecluster Matching
Computing Integer Powers in Floating-Point Arithmetic
World-Set Decompositions: Expressiveness and Efficient Algorithms
On the Kolmogorov-Chaitin Complexity for short sequences
Google Similarity DistanceRudi Cilibrasi, Paul M B Vitanyi
2007-05-29 The Distance Geometry of Music
2007-05-22 Toward a Quantum Programming Language Peter Selinger 2002 56p -- his explanation of von Neuman density matrices is the first thing to give me any intuition about quantum entanglement and EPR.
2007-05-21 Computations Intelligence for Condition Monitoring
2007-05-19 Informatics Carnot Machine "entropy under certain conditions is information
2007-05-15 Mean Field Models of Message Throughput in Dynamic Peer-to-Peer Systems
Improvements to the Psi-SSA representation to support predicated instruction sets.
2007-05-12 Principal Component Analysis and Automatic Relevance Determination in Damage Identification -- they report that PCA and ARD seem to be complementary techniques for their purposes, each working well when the other does not...
2007-05-12 Processing.org open source software, possible alternative to reading people tracker code?
2007-05-07 Succinct Indexable Dictionaries with Applications to Encoding $k$-ary Trees, Prefix Sums and Multisets "We give a data structure that supports [Rank and Select] operations in O(1) time ..."
2007-05-07 Iterative Rounding for the Closest String Problem
2007-05-07 Clustering Co-occurence of Maximal Frequent Patterns in Streams
2007-05-07 NodeTrix: Hybrid Representation for Analysing Social Networks
2007-05-05 Edges and Switches, Tunnels and Bridges -- drawing nonplanar graphs readably.
Multiresolution Approximation of Polygonal Curves in Linear Complexity
2007-05-02 The Parameter-Less Self-Organizing Map -- latest neural network tweak.
2007-04-29 McRT-STM: A High Performance Software Transactional Memory System for a Multi-Core Runtime
Bratin Saha, Ali-Reza Adl-Tubatabai, Richard L Hudson, Chi Cao Minh, (all Intel) Benjamin Hertzberg (Stanford)
2006, 11p (PPoPP'06)
Compiler and Runtime Support for Efficient Software Transactional MemoryAli-Reza Adl-Tabatabai, Brian T Lewis, Vijay Menon, Brian R Murphy, Bratin Saha, Tatiana Shpeisman (all Intel)
2006, 12p (PLDI'06)
2007-04-19 Bounded Pushdown dimension vs Lempel Ziv information density: "we construct a sequence that LZ fails to compress signicantly, but that is compressed by at least a factor 2 by a BPD compressor."
2007-04-15 Nyquist, A Sound Synthesis and Composition Language -- yet another cool Berkeley-licensed software package out of CMU, this one based on XLISP driving C, much like Skandha5. I'd love to translate this into Mythryl...
2007-04-12 Bandit Algorithms for Tree Search: Pierre-Arnaud Coquelin (CMAP), Rémi Munos (INRIA Futurs) with applications to Go :)
2007-04-04"Supervised Learning of Semantic Classes for Image Annotation and Retrieval", G Carneiro, AB Chan, PJ Moreno, N Vasconcelos. (Appears not to be available free online as yet.) 2007-04-02 On-line Viterbi Algorithm and Its Relationship to Random Walks -- cuts space from O(m*n) to \Theta(mlogn), allowing use on DNA & continuous data.
2007-03-30 Computer Science and Game Theory: A Brief Survey
2007-03-28 Structure induction by lossless graph compression
2007-03-26 Self-adaptive Gossip Policies for Distributed Population-based Algorithms
2007-03-24 Clustering and Sharing Incentives in BitTorrent Systems
2007-03-21 Copula Component Analysis, a proposed refinement of Independent Component Analysis.
2007-03-19 Cultural Route to the emergence of linguistic categories
2007-02-27 An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation
Linking Microscopic and Macroscopic Models for Evolution: Markov Chain Network Training and Conservation Law Approximations
Succinct Sampling on Streams
A Landscape Analysis of Constraint Satisfaction Problems
2007-02-24 Exploiting social networks dynamics for P2P resource organisation
Efficient Searching and Retrieval of Documents in PROSA
2007-02-18 What Every Computer Scientist Should Know About Floating Point Arithmetic (1991) reccommended by Xavier Leroy
2007-02-15 Social Behaviours Applied to P2P Systems: An efficient Algorithm for Resource Organisation "...smoothly evolves to a small--world graph, where queries for resources are efficiently and effectively routed."
A kernel method for canonical correlation analysis Trying for the best of classical linear and modern SVM approaches.
2007-01-30 Ontology from Local Hierarchical Structure in Text
2007-01-24 Principal Type Schemes for Modular ProgramDerek Dreyer + Matthias Blume 2007 16p
2007-01-23 Universal Algorithmic Intelligence: A mathematical top->down approach
A complete set of rotationally and translationally invariant features for images
Complex networks and human language
Time and the Prisoner's Dilemma
2007-01-16 Statistical Cryptography using a Fisher-Schrödinger Model
2007-01-10 Cooperative Optimization for Energy Minimization: A Case Study of Stereo Matching
2007-01-09 Recursion Schemes as Abstract Interfaces Daniel C Wang, Tom Murphy circa 2003
2007-01-08 Compression-based methods for nonparametric density estimation, on-line prediction, regression and classification for time series
2007-01-08 Bootstrap for neural model selection
2006-12-30 A type and effect system for atomicity Cormac Flanagan + Shaz Qadeer sigplan 2003. ConcurrentJava. This looks like a practical alternative to software transactional memory which moves the work from runtime to compiletime.
Type and Effect Systems Flemming Nielson + Hanne Riis Nielson 1999
2006-12-27 Stratification in P2P Networks - Application to BitTorrent
2006-12-24 The Missing Link -- Dynamic Components for ML Andreas Rossberg 2006: This is what Alice does. Sounds good!
2006-12-19 Failure Resilient Distributed Commit for Web Services Atomic Transactions
An asynchronous, decentralised commitment protocol for semantic optimistic replication
Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
2006-12-15 OO Programming styles in ML Bernard Berthomieu LAAS Report #2000111, March 2000 (148p). (Found on the excellent MLton references page
An Extension of ML with First-Class Abstract Types This is the paper on adding abstract types to ML which is referenced by the above paper. NB: No syntax changes required(!)
Dynamics in ML Xavier Leroy &al also cited by above OOP paper.
2006-12-11 OLPC Human Interface Guidelines -- "Makes MacOS look like what it is -- boring and unoriginal" according to the slashdot reviewer.
2006-12-04 About the Lifespan of Peer to Peer Networks -- another Rudi Calibrasi paper!
2006-12-04 Michaels Tcl/Tk Extensions (interesting because stuff that plugs into Tcl/Tk will work nicely with Mythryl's tk7).
TkOGL, OpenGL-in-Tk solution favored by Michael above.
tclogl claims to be an improvement on TkOGL
tcl3d brings together the above plus many similar extensions.
RELAX NJ XML specs with a fraction of the verbosity. ISO standard.
2006-11-29The INRIA Reactive Programming page has a bunch of good stuff. In particular, the SugarCubes project described here was the basis for the SML/NJ reactive programming library (for which Tim Bourke has some comments and patches). (Note that SugarCubes has been superceded by the apparently much more efficient Junior project -- if I start using the SML/NJ reactive library stuff, I should look at updating it to Junior's algorithm.) The award-winning Icobj graphic-programming stuff also looks worth study.
2006-11-28 Scale-Free Overlay Topologies with Hard Cutoffs for Unstructured Peer-to-Peer Networks
Genetic Programming for Kernel-based Learning with Co-evolving Subsets Selection
Neural Computation with Rings of Quasiperiodic Oscillators
Why the Maxwellian Distribution is the Attractive Fixed Point of the Boltzmann Equation
BOSAM: A topology visualisation tool for large-scale complex networks
2006-11-23 Channel Coding: The Road to Channel Capacity
Very Sparse Stable Random Projections, Estimators and Tail Bounds for Stable Random Projections
A higher-order active contour model of a `gas of circles' and its application to tree crown extraction
Discovering Network Topology in the Presence of Byzantine Faults
Heap Reference Analysis Using Access Graphs
2006-11-14 Linear-Time Pointer-Machine Algorithms for Path-Evaluation Problems on Trees and Graphs "Our algorithms compute nearest common ancestors off-line, verify and construct minimum spanning trees, do interval analysis on a flowgraph, find the dominators of a flowgraph, and build the component tree of a weighted tree."
Multivariate Integral Perturbation Techniques - I (Theory)Brief comments on potential applications in finance are given, including options, models for credit risk and derivatives, and correlation sensitivities.
Advances in Self Organising Maps ... "the most popular artificial neural algorithm for use in unsupervised learning..."
On the Solution-Space Geometry of Random Constraint Satisfaction Problems "our results establish rigorously one of the two main hypotheses underlying Survey Propagation, a heuristic introduced by physicists in recent years that appears to perform extraordinarily well on random constraint satisfaction problems.
How to Authenticate and Encrypt
2006-11-11 Adaptive Software Transactional Memory VJ Marathe, WN Scherer III, ML Scott 2005 15p
Software Transactional Memory for Dynamic-Sized Data Structures Hirlihy, Moir, Luchangco, Scherer 2003 10p This implements DSTM described in ASTM paper above.
Concurrent Programming Without Locks K Fraser, T Harris 2004 48p This implements the OSTM described in ASTM paper above. Source code is here
Composable memory transactions Tim Harris, Simon Marlow, SIMON PEYTON JONES, and Maurice Herlihy. ACM Conference on Principles and Practice of Parallel Programming 2005 (PPoPP'05). -- the Haskell transaction system implementation.
2006-11-09 Lambda Types on the Lambda Calculus with Abbreviations this looks like a beautiful piece of work which simplifies typed lambda calculus by increasing the symmetry between term- and type-level functions and expressions.
2006-11-09 On Conditional Branches in Optimal Decision Trees -- compiling switch statements taking into account processors with predictive branching &tc.
2006-11-08 Efficient, Dynamic Indexing and Aggregation of Moving Objects
Nonextensive Pythagoras' Theorem
2006-11-03Jerry pointed out: Web 3.0 and the Widgetized Web -- webcrawling without ever leaving Google thanks to the various optional widgets one can add to a start page there. 2006-11-02 Efficient constraint propagation engines
Hedgin predictions in machine learning
2006-10-31 A Review of Bayesian Restoration of Digital Images Employing Markov Chain Monte Carlo
2006-10-30 A Taxonomy of Peer-to-Peer Based Complex Queries: a Grid perspective
ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics
Information filtering via Iterative Refinement
Low-complexity modular policies: learning to play Pac-Man and a new framework beyond MDPs
Nonlinear Estimators and Tail Bounds for Dimension Reduction in $l_1$ Using Cauchy Random Projections
2006-10-25 Metric learning pairwise kernel for graph inference
2006-10-20 Inference in Binary Pair-wise Markov Random Fields through Self-Avoiding Walks
2006-10-16 Vector field visualization with streamlines
An Application of the Mobile Transient Internet Architecture to IP Mobility and Inter-Operability
A Mobile Transient Internet Architecture
2006-10-11 sml_tk: Functional Programming for Graphical User Interfaces
2006-10-11 CR-precis: A deterministic summary structure for update data streams
2006-10-11 Towards a Bayesian framework for option pricing
2006-10-11 Streaming Max-Min Filter Using No More than 3 Comparisons per Element
2006-10-10(from Stephen Weeks:) Adding Threads to Standard ML http://mlton.org/References#CooperMorrisett90
A Distributed Concurrent Implementation of Standard ML http://mlton.org/References#Matthews91
Procs and locks: a portable multiprocessing platform for Standard ML of New Jersey.http://mlton.org/References#MorrisettTolmach93
2006-10-09 A kernel for time series based on global alignments
2006-10-04 ABCD: Eliminating Array-Bounds Checks on Demand Bodik, Gupta Sarkar
2006-10-02 Conditional Expressions for Blind Deconvolution: Multi-point form "The CE can detect multiple blur all at once. We illustrate the multiple blur-detection by using a test image.
Simple method to eliminate blur based on Lane and Bates algorithm "A simple search method for finding a blur convolved in a given image is presented. The method can be easily extended to a large blur. The method has been experimentally tested with a model blurred image."
2006-09-29 Tina's Randum Number Generator Library, apparently very well-analysed, well-founded, distributable LFSR based pseudo-random number generator library. (http://arxiv.org/abs/cond-mat/0609584)
2006-09-28 Efficient Open World Reasoning for Planning
2006-09-25 Support Vector Machine Tutorial by UMD's Christopher J.C. Burges.
Motion Primitives for Robotic Flight Control
2006-09-21 Approximating Rate-Distortion Graphs of Individual Data: Experiments in Lossy Compressino and Denoising
2006-09-06 Anonymous Authentication Protocol in Mobile Ad hoc Networks including a distributed reputation algorithm.
2006-09-01 The Tree Inclusion Problem: In Linear Space and Faster
2006-08-30 TreeP: A Tree-Based P2P Network Architecture
2006-08-01 An Introduction to the DSm Theory for the Combination of Paradoxical, Uncertain, and Imprecise Sources of Information
2006-07-31 Hidden Markov Process: ...
Escape Analysis by Abstract Interpretation
Topological Grammers for Data Approximation
Leading strategies in competitive online prediction online regression -- USEFUL FOR STOCK TRADING?
2006-07-28 Expressing Implicit Semantic Relations without supervision
Security Policies as Membranes in Systems for Global Computing
2006-07-17 Cepstral speach-to-text is proprietary, but might be a good indication of the state of the art, and benchmark comparison for open source equivalents.
2006-07-09 Punch "LSA" (Latent Semantic Analysis) into arXiv.org/cs.
Look up Princeton musician Dmitri Tymoczko's 2006-Jul-07 music theory article in Science -- first one they have ever published.
2006-06-05 Getting started with Wacom tablets in Linux
2006-06-01 A parent-centered radial http://www.cs.cornell.edu/Info/Projects/NuPrl/cs611/fall94notes/cn14/section3_4.html layout algorithm for interactive graph visualization and animation
General Compact Labeling Schemes for Dynamic Trees with applications to efficient distributed computation.
2006-05-29 Classification of Ordinal Data with applications to support vector machines and neural networks.
2006-05-23 A direct formulation for sparse PCA using semidefinite programming -- sounds somewhat interesting in itself, but mainly, looks like a good pointer into the literature on principal component analysis.
Distributed Selfish Load Balancing -- sounds potentially very useful!
2006-05-14 What's the secret sauce in Ruby on Rails: Finally, a thoughtful, knowledgable, useful, balanced third-party review of what's right about Ruby on Rails. E.g., relative to similar frameworks, it sacrifices flexibility for conciseness, substituting conventions for vast configuration files. I like the sound of that. :)
2006-05-11 Strong Atomicity for Java Without Virtual-Machine Support 2006 from the UW WASP project 2006. Efficient compile-time optimization of multiprocessed transactions -- LOOKS WORTH CAREFUL STUDY.
Continuations, proofs and tests -- types for CPS (continuation-passing-style) code translation.
2006-05-09 A Formal Measure of Machine Intelligence
2006-05-04 On the Foundations of Universal Sequence Prediction"
2006-04-23 An O(n**2.75) algorithm for online topological ordering. Friedrich 2006-Apr-20 Good for interactive pointer loop detection and such. Also has a good review of other topological sort algorithms.
2006-04-16 Program Verification for Optimized Byte Copy Edoardo S Biagioni 1994 19p CMU-CS-94-172 (The Hello OS prof.)
Sequence Types for Functional Languages Edoardo S Biagioni 27p 1995 CMU-CS-95-180. (The Hello OS prof)
Biologically Inspired Hierarchical Model for Feature Extraction and LocalizationLiang Wu, 4p, 2006 Apr
2006-04-10 An O(n^3)-Time Algorithm for Tree Edit Distance
Music Theory .net
The FLux OSKit: A Substrate for Kernel and Language Research.
Might be an architecture template to base an ML OS upon? Not in ML, but they implement SML on the bare metal. :) 2006-03-31 A Portable, Unobtrusive Garbage Collection for Multiprocessor Systems Damien Doligez POPL 1994 14p
(I believe this is the basis of the Ocaml garbage collector.)
2006-03-24 Topological Grammars for Data Approximation Gorban Sumner Zinovyev
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML Atsushi Ohori + Nobuaki Yoshida 1999 12p
(The SML# folx.) Claims to relax the value restriction and eliminate the exponential-time typechecking cases while generalizing the type system -- sounds cool!
2006-03-21 Peer-to-peer communication across network translators "This paper documents and analyzes one of the simplest but most robust and practical NAT traversal techniques, commonly known as "hole punching." Essential reading! See also:
The hole trick: How Skype &Co get around firewalls
Packrat Parsing: "Simple, powerful, lazy, linear time."
Concensus Propagation -- basic distributed computing.
Yet another efficient unification algorithm More essential reading.
2006-03-05 Better networking with SCTP. Supposedly a superior replacement for TCP, already in the Linux 2.6 kernel.
Solution of the crystallographic phase problem by iterated projections V. Elser 2003 -- presents the general "difference map" algorithm which also solves Sudoku puzzles and such according to the ScienceDaily writeup
2006-02-21 Implementing Type Classes Peterson + Jones 1993 10p
"This paper is meant to serve as a practical guid for the implementation of type classes."
2006-02-15 How to Beat the Adaptive Multi-Armed Bandit Dani, Hayes 2006-02-14
Emergence Explained Abbot 2006-02-12
Multilevel Threshholding for Image Segmentation through a Fast Statistical Recursive Algorithm Arora Acharya Verma Panigrahi 2006-02-12
2006-02-12 The Fusion Machine Gardner Laneve Wischik 2002-03-27 18p "There have been only two distributed [pi-calculus type] implementations": Facile and JoCaml.
The Fusion Calsulus: Expressiveness and Symmetry in Mobile Processes Parrow + Victor Dec 5 1997 UUppsala 28p -- this appears to be the original fusion calculus paper.
A Calculus of Mobile Agents Fornet Gonthier Levy Maranget Remy (INRIA) 1996 16p The original "distributed join calculus" paper.
The reflexive CHAM and the join-calculus Fournet Gonthier (INRIA) 1995-Oct 32p -- The original "join calculus" paper.
The Chemical Abstract Machine Berry + Boudol (INRIA) 1992 13p
Pict: A Programming Language Based on the Pi-Calculus Pierce + Turner (Indiana U) 1997-03-19 26p
No Assembly Required: Compiling Standard ML to C Tarditi + Lee & Acharya (CMU) 1992 17p -- in SML/NJ with 50% speed penalty: "sml2c".
Dependent types with subtyping and late-bound overloading Castagna + Chen 1998-06-23 76p -- looks like a good overview/tutorial too
2006-02-07 Explaining Constraint Programming
Information Theory and Thermodynamics
2006-01-31 Understanding and Evolving the ML Module System Derek Dreyer (thesis, Harper, Crary, Lee, MacQueen) 2005 May 262p
TIL: A type-directed optimizing compiler for ML, Tarditi, Morriset, Cheng, Stone, Harper, Lee 1996, 25p
2006-01-30 A Separate Compilation Extension to Standard ML 2006 58p
2006-01-28 Sound and Complete Elimination of Singleton Kinds Karl Crary 2000 25p
"a translation from a language with singleton kinds to one without ... useful for type-preserving compilers... by normalizing type equivalnet derivations using Stone and Harper's type equivalent decision procedure..."
Perl Golf book -- be nice to analyse what techniques are most often used, with possible application to ML.
2006-01-26 Nonequilibrium Thermodynaimcs of Wealth Condensation
2006-01-25 Artificial Sequences and Complexity Measures
Extracting in an automatic and agnostic way, information from a generic string of characters. ... use data compression techniques to define a measure of remoteness and distances between pairs of sequences... applies to any kind of corporate independently of the type of coding behind them ... results for language recognition, authoriship attribution ...
Fast Lexically Constrained Virterbi Algorithm (FLCVA): Simultaneous Optimization of Speed and Memory"
Sharing intermediate results between separate Hidden Markov Models HMM. Simultaneous computation of the a posteriori probabilities of all the words in the lexicon.
2006-01-24 Topology of covert conflict Nagarja 2006 13p Attacking and defending peer-to-peer networks
Formal Verification of Dead Code Elimination in Isabelle/HOL Blech Gesellensetter Glesner 2005 10p
Includes the result that dead code elimination, normally cubic, is only quadradic on code in SSA form.
Dependent types ensure partial correctness of theorem provers Appel + Felty 2004 17p
Automation for Interactive Proof: First PrototypeMeng + Quigley, Paulson UCambridge 2005 26p. (NB: last author is Isabelle's creator.)
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL"Blech + Glesner + Leitner Mulling, U Karlsruhe 2005 18p (use Konqueror not Mozilla)
2006-01-22 Proofs, Programs and Executable Specifications in Higher Order Logic thesis of Stefan Berghofer 2003 143p -- based on Isabelle and SML/NJ. (Try xpfd if gv crashes on the .pdf)
Isabelle/HOL tutorial -- Nipkow + Paulson + Wenzel, 2005 235p(!)
Executing Verified Compiler Specification Okuma + Minamide 17p 2003
Found above after poking around a bit for the state of the art in compiling natural semantics definitions. Uses Isabelle/HOL to autogenerate SML/NJ code. Scheme-like source language compiled to Java bytecodes -- clearly a proof-of-principle level of achievement.
2006-01-17 Singleton Kinds and Singleton Types Christopher Stone 2000 174p (Thesis)
2005-12-31 Wobbly types: type inference for generalized algebraic data types Peyton Jones + Washburn + Weirich 2004 POPL 15p: "Generalized algebraic data types (GADTs), sometimes know as guarded recursive datatypes" or "first-class phantom types", are a simple but powerful generalization of the data types of Haskell and ML..."
Compare to: Programming with Static Invariants in OmegaLinger + Sheard 2004 18p, which (e.g.) shows that a binomial heap implementation can be proved largely correct by the SML/Haskell typechecker using such techniques.
(Also among Sheard's recent papers is Languages of the Future OOPSLA 2004 14p -- sounds like it obsoletes MetaML.)
First-Class Phantom Types, Cheney and Hinze, 32p circa 2004. They credit the phantom types idea to Domain Specific Embedded CompilersLeijen and Meijer 1999 14p.
2005-12-30 A Type-Theoretic Interpretation of Standard ML, Robert Harper and Christopher Stone, 1999 29p.
and its companion tech report (1997, 78 pages) which appears to obsolete the previous year's A Type-Theoretic Account of Standard ML 1996 (Version 2) Harper + Chone Sep 10, 1996 82p. In updated form, this looks poised to become the standard semantics for successor ML, "sML".
Also worth checking out are recent papers (including 2002 thesis) by Stone and Harper papers such as (on callcc) Typing First-Class Continuations in ML (Harper Duba MacQueen 1993 15p)
(not to mention Andrew W Appel) such as Implementing the TILT internal language 2000 and A type system for higher-order modules Dreyer+Crary+Harper 2004 65p.
Bidirectional Type Checking 2005 9p looks at first blush at least to be a breakthrough in typed intermediate languages. Peyton Jones comments "Bidirectional type inference is one powerful tool" in his wobbly types paper.
Also worth a peek: Twelf User's Guide V1.4 2002 98p
"The Wizard of TILT" Tom Murphy 2002 22p CMU-CS-02-120 senior thesis w Harper + Crary mentions Wadler's "views" for pattern-matching ADTs. Pattern Matching and Abstract Data Types Tom Murphy VII 2002 36p slideset gives more detail, gives Views: A Way For Pattern Matching To Cohabit With Data Abstraction Wadler 1986 18p (which has a nice overview of "join lists", which support linear time appends) as the reference, then gives as an improvement Active Patterns ( A New Look at Pattern Matching in Abstract Data Types Pedro, Pena, Nunez 1996 12p and a without-language-extensions (but with-performance-hit) approach "Programming with Recursion Schemes" Wang + Murphy 2002.
Existential types are introduced in Abstract Types Have Existential Type Mitchell + Plotkin 1988 33p

Linear Types can change the world!Philip Wadler 1990 21p
A Prettier Printer Philip Wadler 22p, 1997 revised 1998 an improvement on Hugh's prettyprinter. Try Konqueror if gv won't render it.
Wadler's homepage

2005-12-14 IPP2P, filter used to kill/restrict "peer-to-peer" traffic. Should study it before designing any new peer-to-peer protocol, to make sure we can evade ipp2p abuse.
2005-10-30 Compiling with Proofs, George Ciprian Necula under Robert Harper &tc 1998 CMU Thesis 277p
2005-10-24 SECURING DEBIAN MANUAL
2005-10-21 Solipsis, a shared virtual world in python posted by JCLawrence to mud-dev, download page here. Built on xw-python, twisted, and the python imaging library PIL.
WordseyeOn Tuesday, Bob Coyne, one of the developers of Symbolics' S-Paint system, will be speaking at the next meeting of Lisp NYC about his new project, WordsEye [via Jim Thompson].

WordsEye allows untrained users to spontaneously and interactively create 3D scenes by simply describing them. By using natural language, ordinary users can quickly create 3D scenes without having to learn special software, acquire artistic skills, or even touch a desktop window-oriented interface. Creating graphics with natural language gives a new sense of power to words and suggests applications in education and creative play as well as the creation of visual art itself. WordsEye relies on a large database of 3D models and images to depict objects and surface textures. WordsEye is written in Common Lisp and runs on Linux

(Posted to mud-dev by JCLawrence)
2005-10-17J Furuse'sG'Caml stuff, in particularGeneric polymorphism in ML. If the INRIA parentage isn't recommendation enough, Stephen Weeks also sounded very impressed on the MLton list.
2005-10-04 NILFS, a linux log-structured filesystem released by NTT, supporting access to past states of the filesystem.
2005-10-03 hOp/House -- Haskell User's Operating System and Environment.
Design and Implementation of an Operating System in Standard ML 1999-09 Fu (UHawaii MS Thesis) 46p describes the Hello operating system kernel. A shorter version is here and the source code here.
2005-09-01 Shimon Edelman, David Horn, Eytan Ruppin, Zach Solan, "Unsupervised Learning of Natural Languages", Proceedings of the National Academy of Sciences Vol 102 No 33, introducing their ADIOS (Automatic Distillation of Structure) method.
Zach Solan's thesis and related work may be found here). This is the "crazy israeli" paper -- my favorite paper of the last decade.
2005-08-31 Jon Smirl's 2005-08-31 The State of Linux graphics -- an extremely good summary with lots of context, links to further reading, and recommendations.
2005-06-22 Tim Sheard's stuff on Omega, equality qualified types and such -- some are generalizations of his MetaML.
2005-06-14"Scout: A Hardware-Accellerated System for Quantitatively Driven Visualization and Analysis", McCormick, Inman, Ahrens, Hansen & Roth, 2004 IEEE" -- using GPUs to attain 12X speedup over CPU.
2005-05-10 Dual Photography -- using Helmholtz duality to generate images of a scene from the light source's point of view (a video projector)...!
2005-04-20 Unix System Programming with Standard ML Including a webserver!! Version 0.1 Mar 2002 -- may be mostly vaporware, not sure.
2005-04-17 Standard ML# of Kansai: SML# extends SML with polymorphic field selection and polymorphic non-destructive field update operation. Furthermore, polymorphic field accesses are always complied into efficient index operations. (For a formal description of SML#, see my paper "A Compilation Method for ML-style Polymorphic Record Calculi", POPL 1992 (its dvi file can be found in this directory.) I hope that the extensions embodied in SML# (or something like them) be integrated in the standard of future Standard ML.
SYNTAX OF SML#. It is the same as Standard ML except:

1. Flexible record patters (and the derived form of #label) are now first-class patterns, and can therefore used without type constraints, as explained above.
2. The expression constructor of the form

           #> exp => {lab1=exp1,---,labn=expn}
   

   is added. (The sequence #> is now a reserved word and cannot be used as an identifier.)
3. A type variable can be constrained with a record kind by the syntax:

           'a # {label_1:type_1,---,label_n:type_n,....}
   

   The trailing "..." is optional.

2005-04-12 Fusions: "Bjorn Victor and Joachim Parrow invented the fusion calculus in 1996-1998. Their inspiration was two-fold: to simplify and make symmetric the pi calculus, and to model concurrent constraint programming. Meanwhile, independently, Yuxi Fu invented the chi calculus, essentially the same as the fusion calculus." Other keywords mentioned: equators and solos calculus.
Selected Bibliography on Mobile Processes -- excellent review and reading list updated through Feb 1998. The sections are:

1. General Ideas of Mobility
2. Basics of Mobile Processes
3. Encoding of Various Computational Structures
4. Asynchronous Pi-calculus
5. Expressiveness in pi-calculi
6. Types for Mobile Processes
7. Programming Languages based on Mobile Processes
8. Other Topics

2005-03-13 Distinctive Image Features from Scale Invariant Keypoints -- realtime feature-matching, used in his SIFT Keypoint Detector and for Object recognition and generating panoramas and 3D scene reconstruction from video
2005-03-02 Debian Cluster Components -- we'll be clustering sooner or later, plus their selection of (e.g.) Shorewall is a strong third-party recommendation.
2005-02-23 Kevin Knight's home page -- mainly I want to read up on the machine translation by automated learning from matched text corpi stuff.
2005-02-19: Protein Interaction Databases
2005-02-16: GNU TeXmacs, which is available as a standard Debian package.
2005-02-15: Paje "a graphical tool that displays traces produced during the execution of multithreaded programs."
2005-02-05: Glitz -- 2D widget type stuff built on OpenGL for hardware accelleration!
2005-01-29: Automatic Meaning Discovery Using Google -- another Rudi Cilibrasi gem!
2005-01-22: Open 3D Visualization Toolkit from the Science Museum of Minnesota.
2005-01-21: Ruby on Rails, some sort of website development package.
2004-12-26: "JAVELIN: A Flexible, Planner-Based Architecture for Question Answering" -- CMU goes beyond LCC and Piquant.
"IBM's PIQUANT II in TREC2004"
"Retrieving Definitions from Scientific Text in the Salmon Fish Domain by Lexical Pattern Matching" BS thesis at ULimerick Jan 2004 -- NB that Chapter 2 is a valuable literature review: Chapter 1 2, 3, 4, 5, 6, Appendices
2004-12-01: mGTK: An SML binding of Gtk+, Larsen & Niss, DIKU, 6p freenix2004 (LGPL source on sourceforge.)
SML-Gtk: Gtk+ bindings for SML/NJ 2003 Allen Leung (he says he also has bindings for OpenGL, ncurses and other, but the links are dead :(
2004-11-10: Nonparametric inference for ergodic, stationary time series, Morvai, Yakowitz and Gyorfi Ann Statist 1996 9p
2004-11-02: ProofPower, a GPL "suite of tools supporting specification and proof in Higher Order Logic (HOL) and in the Z notation."
2004-10-27: Tiny C Compiler -- "C Scripting Everywhere Small! Fast! Unlimited! Safe!"
2004-10-16: Inkulator9000: Comic-style "drawings" from 3D meshes. C++/Windows, but GPL open source on SourceForge.
2004-10-12: Croquet, a Squeak+OpenGL-based project oriented towards shared telepresence and collaboration of large numbers of people -- currently mostly vaporware.
WorldForge an (overly?) ambitious open-source MMPORG game engine effort. Says no playable games generated yet as of 2004-10. Looks worth checking back from time to time.
3D Outside The Box shareware app, I mostly want to check out the excellent linklist at some point.
WizzyTeX "is an emacs minor mode for incrementally viewing LaTeX documents that you are editing."
advi: "Active-DVI is a presenter and previewer for texts or slides written in LaTeX, hence the presentation tool of choice for the discriminating hacker."
GODIVA tool for generating GODI (ocaml) packages.
Gnome Human Interface Guidelines 2.0
Correctness proof for a full copying gc(!)
Chris Osaki's practical examples of 3rd, 4th, 5th and 6th-order functions. Also see here. Stats on use of higher-order functions arehere

Graphviz and particularly its dot tool recommended on caml list for directed graph presentation. POMAP is an example of using it from Ocaml. Tulip was also mentioned. And later AGD ("built on top of LEDA").

Tom Lord's arch. I've always detested CVS. Tom sounds like he has his head screwed on straight. Worth investigating. Ditto David Roundy's "Theory of Patches"-based Haskell-implemented darcs

NASA's World Wind planetary viewer and 3D display engine: "World Wind allows any user to zoom from satellite altitude into any place on Earth, leveraging high resolution LandSat imagery and SRTM elevation data to experience Earth in visually rich 3D, just as if they were really there."
Nebula2I 3D C++ game engine with MIT-style license.
Irrlicht 3D C++ game engine with BSD-style license -- supposedly impressive and with big user community.
GlSurf: ocaml app displaying surfaces from implicit specs via OpenGL.
sip-typed-applets.ps.gz -- sandboxing ocaml.
PPMd 64-bit bugs
distcc: a fast, free distributed C/C++ compiler
Variational Shape Approximation -- fast, mathematically sound 3D mesh simplification.
Independent Component Analysis of EEG data in realtime
GPUs as CPUs at UW CSci
Regular Expressions in Haskell
RMS, the (Haskell) Robust Mail Store
Metasploit
Free Culture: How Big Media Uses Technology and the law to lock down culture and control creativity by Larry Lessig
Sphinx, CMU open-source high-quality speech recognition
Fault Tolerant Shell (2004-03-15)
PiceSpy Social Network Bot: Inferring and Visualizing Social Networks on IRC
Mnemonics -- figure alphabet
How to Memorize&tc
Caml
PARC's Obje Software Architecture
Anti-Spam Solutions and Security, Part 1 and Part 2
The Spam-Filtering Accuracy Plateau at 99.9% Accuracy and How to Get Past It Dobly spam filter.
Deep Inside KDE 3.2
subversion
Mark Newman's slick percolation algorithm for analysing social networks.
Converting an existing development system to the 2.6 kernel
Migrating to Linux kernel 2.6 -- Part 2: Migrating device drivers to Linux kernel 2.6
CD-Writing HOWTO
NILO, the GNU network boot loader.
NdisWrapper to run Windows Centrino drivers under Linux -- or pay $20 for the Linuxant solution
5,000,000 hi-res WW II RAF aerial photos
Genius and Autism
One Day Glass
md5 disk tuning
Office Display Cabinet
GNU/Linux AMD64 HOWTO
Debian AMD64 page
AMD64 fixes for 2.6.0
State of linux on AMD64
BrookGPU
Econ stats
bacterial evolution
Verse Virtual Collaboration Server
Nil
Loqairou the 3D Sketchpad
Connector
"Good-Turing estimator and Alon Orlitsky's improvements
Exercises
Hacker's Diet
low back exercises and Taking Care of Your Back, from the American Phystical Therapy Association
Real-Time Soft Shadows Project
MUTE
WINW and BadBlue
Mayo clinic on exercise
Open Source Desktop Technology Road Map
Intel's open-sourcePNL, "provides, for the first time in science, a formal way of describing causality"

Note: This list is primarily a personal mechanism to find things that interest me quickly, such as:
Search: Alta Vista/ Raging, Gettyimages, Goo/ img, T10, NatGeo images, DejaNews, FTP Search, CiteSeer, Which RPM, FAQs, PGP Keys, Austin/ Seattle weather,
Prices: PRICEWATCH, Froogle, PriceGrabber, shopping.com, shopper.com, mySimon, DealInfo,
Reputations: bizrate, reseller ratings, ePinions
Lookup: Memidex, OneLook, Dicts (+Chinese), NZ Library, EB,
PR: Goo, BBC, CNN, Reuters, AsiaTimes, Spiegel, DW, CSMon, AJ, IHT, Pimco, MG, NewsTrust, AmChron, Economist, WaInd, TStar, NBER, HenryCKLiu, Max Fraad Wolff, SwissInfo, Briefing, SCSentinel, SJMercury, Newsblaster, Yahoo headlines/ /news/ biz/ airfares, pda,
Gossip: Slashdot, Register, Inquirer, Hacker News, arXiv: cs, physics, math, qbio, blog, H+, JREF, ProPublica, Moore, baez, DebianAdmin, EET, TRN, Librenix, ArsT/ Linux, NewsForge, TechReport, OSOp, Telepolis, C, Cryptome, infoshop, DevShed, DDJ, HitB, SourceForge, Risks,
Giggles: Doonesbury, SinFest, Wondermark, User Friendly, Dilbert, Joy of Tech
Science: SciDaily, PLoS/CompBio, Express, Nature, PhysOrg, SciBriefs, NewInSci, NewScientist, Mixed States, UTexasPhysSem, +CSciSem, PLoS Biology, PhysWeb, AIP, UW CSE
Overseas: Copenhagen Post, LeMonde, Spiegel, repubblica, laStampa, ilGiorno, elMund
Debian: Weekly, debian.org/ diagram
Linux: Devices/ KernelTrap/ Watch/ Linux docs and HOW-TOs, Ency, Programmingl, Security/ Weekly/ Daily/ distros/ doc/ guru/ Gram/ kernel/ traffic, source, Today/ Org/ Planet/ Power/ HQ/ Gazette/ World,
Perl: Perl/ guts/ timeline/ PDL/ mod/ news/ archives/ modules/ doc/ CPAN/ Tk/ Tix/ Gtk perl tut ref, kibitz,
Language: Ruby, Tcl /cookbook Togl, Python /Qt,
Graphics: RenderMan Spec, Repository, FAQ, GNU, SIG2000. RenderMania, Raytracing News,
Apps: FreshMeat, AppWatch, Gimp/ plugins/ .com, Grokking, My. Gnus, procmail, NetPBM, Xanim Xemacs, /Gtk, lisp, Qt, Gnome, /intro Kdevelop, KLPP, Esd, VNC, Compression FAQ,
Indy, Mon, AP, aJ ViWes, asia, ABC, CBS, bush, TechWeb
ET(UK) Nando, OutThere, Prosa, Skeldale, TheNation, Zmag(w Chomsky), MoscowT, counterpunch, OpenSecrets + FundRace
NEC, Bell Labs, Lucent, LBO, FedTimes, Detroit, Star, NewsWorks, Scripting, ISF
coSrc, bazaar, HelpWanted, RJava, JWorld, INews, NavalArch, News.com, totalNews, SeattleTimes, BizWeek,
wirednews, CRN/R, CNet, ZiffD, PCWeek, InfoWorld,
Asahi, JT, Nikkei, Kyodo, Hong Kong, China, Taiwan, Korea, Bangkok, Singapore, Philippines, Malaysia, Melbourne, Oz, Russia Today, Central Europe, St Petersburg, Canoe, Globe+Mail, Africa, Hindu, Iraq, ArabView, JPost, Ha'aretz, Law, Palest., Hezbollah, PLO, IINS, Palestine, Jordan, PSQ,
EurekAlert, TR, SciAm, SciGuide, SciCentral, Cornell/Sci, Nature, amateur, Science, NewScientist, GPGPU, UW CS&E, Econs,
Nasdaq, NewsAlert, WorldlyInvestor, Individual, Datek, ETrade, EchoTrade, ESchwab, Barron's, Granma, NewsPage, NewsLink, LightWave, UNPO, Oneworld, APC/PGS, Nunatsiaq News, Stanford Daily,
NOAA weather, UW weather page, SantaCruz weather Internet Weather Report,
Austin movies/ TV, SC movies Seattle traffic and movies (also Universal, Paramount, Warner Brothers Disney, MGM, 20thC Fox), Meteosat,
ONSALE/ SurplusAuction/ Chip/ TMQ/ Intervest/ IME/ pcZoo, Intol CDW SurplusD,
and semi/live images of SF Exploratorium, WWall, Dublin, Red Square (UW), the Seattle Harbor,
San Francisco, the Fish Cam, Saas Fee(!!), san diego Banff/ banffcam San Diego (& Qualcomm!:), Copper Mountain, CO Hong Kong,
Biodome Penguins, Geek haven! (+from air), MB KelpCam/ MBARI, UCSC, SF Bay Bridge, Norway, Santa Monica, Niagara Falls, Sydney, Weather Cams, &tc. Today in History,
And the Astronomy Picture of the Day!

I recommend searching it for a keyword of interest, if looking for something specific. Also fun: switchboard white-pages, USWest yellow pages, the search page, myfreeemailsearch, See also Net Indices below.
cynbe@muq.org

Hotlist Menu

• Net Indices
• What's New?
• Best of the Web
• Favorite Astropics
• Institutions
• HTML and kin
• Nonstupids
• Telnet RFCs
• Other RFCs
• Technical Reference
• Quantum Computing
• Artificial Intelligence
• Space Development
• Better Living
• General Reference
• Realtime Information
• Friends, Loves and Relatives
• Virtual Communities
• Net Data Archives
• Net Code Sources
• Crypto/Authentication
• Linux
• Unix Security
• GNU/Unix ports to Windows NT
• Java
• JavaBeans
• XML
• Perl/WWW
• Solaris
• Online Periodicals
• Outrages
• Contagious Mental Diseases
• People
• Investment
• Jobs
• Telecommute
• Housing
• Real Estate
• Cars
• R/C Gliders & Microcontrollers
• For Sale: Books, CDROMs &tc
• Amusements
• Readings

Net Indices

What's New?

Best of the Web

Best nerdic humor page.

Most stunning computer graphics: 3-D strange attractors, quaternion fractals and chaotic kin. A definite "must see"!

Most stunning photographs: Chinese Scenery.

Best dolphin page.

Most important single Web site: International PGP Page, defending civil rights in the electronic age.

Best research collection: The Silk Road virtual collection, with thousands of maps, paintings, photos &tc &tc.

Best charity page: The Hunger Site: Every click feeds someone, somewhere.

Best Popular Mathematics Page: The MacTutor History of Mathematics archive, covering Greek math through General Relativity with great biographical material.

Best online daily news: Electronic Telegraph(UK): Not just the usual wire feed, but good stuff with lots of hotlinks.

Best Weather Service: Intellicast, "Your online guide to weather, ski and ocean conditions,", including a Seattle page.

Most thought-provoking: Anders Main Page, my personal pick for overall best Web page. Check out the transhuman page in particular. I still don't believe in traversable wormholes, but this is good stuff to get the mental gears turning!
First runner-up: The Telson Spur, A Way Station for Snark Hunters, with oodles of good science fiction quotes and science links.

Most intriguing science site: Astronomy picture of the day. Consistently smashing!
See also: Snow Crystals.

Best voice of reason keeping tabs on the psychos: Fascist New World Order page.

Best search engine: Alta Vista. I used to like the WebCrawler and Lycos, but Alta Vista is in an entirely different class. DEC has thrown a dozen people and CPUS at the problem and the result is simply amazing.

Best browsable index: Yahoo. I was reading their What's New daily for awhile.

Best under construction sign. (Originally found on CubaWeb.)

Best documentary/photo essay: Bosnia: Uncertain paths to peace.

Favorite Astropics

Institutions

Nonstupids

Paul Graham

John Walker

HTML and kin

The Cyberview 3D Document Generator Paul Burchard/The Geometry Center, Minneapolis, MN, US: The Cyberview 3D Document Generator is a new WWW server add-on that makes it easy to create HTML documents with inline, rotatable, hyperlinked 3D images (3D imagemaps). These 3D pages are created using ordinary HTML (together with one special IMG3D tag to inline the 3D data), and can be viewed with any HTML 2.0-compatible Web browser. Binaries for selected server platforms are freely available from The Geometry Center.

Icons, the Stanford collection.
fix-html.pl a perl script to legitimize old HTML files into SGML-abiding HTML.
Filters to and from html. Also editors, including Phoenix for X.
Pushpull.html: Periodically updated HTML docs, driven from server or client end.
Docfinder, NCSA perl/freeWAIS package to heavily index an html document set and allow online searching of the resulting db.
Making transparent .gifs.
Online gif transparencies while you wait.
MIME Test Page: Test your external viewers. One of everything.
NCSA Mosaic and QuickTime, "A How To Guide", from the Yahoo Computers: Multimedia: Video: Technical Information page.
Mail to web filters.
HTML Writer's Guild.
Writing secure CGI scripts. (Note that the list of unsafe chars given to remove is incomplete: One must also remove newlines!)

Telnet RFCs

RFC854: Telnet Protocol.
RFC855: Telnet option specifications. 1983 May; .
RFC856: Telnet binary transmission. 1983 May; .
RFC857: Telnet echo option. 1983 May; .
RFC858: Telnet Suppress Go Ahead option. 1983 May; .
RFC859: Telnet status option. 1983 May; .
RFC860: Telnet timing mark option. 1983 May; .
RFC861: Telnet extended options: List option. 1983 May; .
RFC885: Telnet end of record option. 1983 December; .
RFC927: TACACS user identification Telnet option. 1984 December;.
RFC933: Output marking Telnet option. 1985 January;.
RFC946: Telnet terminal location number option. 1985 May;.
RFC1041: Telnet 3270 regime option. 1988 January;.
RFC1043: Telnet Data Entry Terminal option: DODIIS implementation. 1988 February;.
RFC1053: Telnet X 3 PAD option. 1988 April;.
RFC1073: Telnet window size option. 1988 Octr.
RFC1079: Telnet terminal speed option. 1988 December.
RFC1080: Telnet remote flow control option. 1988 November;.
RFC1091: Telnet Terminal Type option. 1989 Feb.
RFC1096: Telnet X display location option. 1989 March.
RFC1097: Telnet subliminal-message option. 1989 Apr; .
RFC1116: Telnet Linemode Option. 1989 Aug; .
RFC1143: Q method of implementing Telnet option negotiation. 1990 February; .
RFC1184: Telnet Linemode option. 1990 October.
RFC1372: Telnet Remote Flow Control Option. 1992Oct.
RFC1408: Telnet Environment Option 1993 Jan.
RFC1409: Telnet Authentication 1993 Jan.
RFC1411: Telnet Authentication: Kerberos Version 4. 1993 Jan.
RFC1412: Telnet Authentication: SPX. 1993 January;.
RFC1416: Telnet Authentication Option. 1993 February. (See also the draft telnet encryption/authentication standard.)
RFC1571: Telnet Environment Option Interoperability Issues at sunsite.unc.edu.
RFC1572: Telnet Environment Option at sunsite.unc.edu.

Other RFCs

www.protocols.com has a wide-ranging and up-to-date set of RFCs &tc indexed.

A good general RFC index is available at graphcomp, another is at ohio-state, a simpler (but often more up to date?) index here.
(I've given two links per RFC: If one is lagging, try the other.)

RFC602: "The Stockings Were Hung by the Chimney with Care".
RFC706: On the Junk Mail Problem.
RFC789: Vulnerabilities of Network Control Protocols: An Example.
RFC791: IP (Internet Protocol).
RFC792: ICMP (Internet Control Message Protocol).
RFC793: TCP (Transmission Control Protocol).
RFC821: SMTP (Simple Mail Transfer Protocol).
RFC822: Internet Text Message Format Standard.
RFC864: Character Generator Protocol.
RFC913: SMTP (Simple Mail Transfer Protocol).
RFC959: FTP (File Transfer Protocol).
RFC968: 'Twas the Night Before Start-up'.
RFC977: NNTP (Network News Transfer Protocol).
RFC1013: X Window System Protocol v 11.
RFC1014: XDR (Xternal Data Representation).
RFC1019: Representation of equations.
RFC1045: VMTP: Versatile Message Transaction Protocol, a 1988 reliable datagram proposal.
RFC1057: RPC (Remote Procedure Call).
RFC1112: Multicasting.
RFC1118: The Hitchhikers Guide to the Internet.
RFC1121: Act One - The Poems.
RFC1149: CPIP: Carrier Pigeon Internet Protocol.
RFC1180: TCP/IP Tutorial.
RFC1217: Memo from the Consortium for Slow Commotion Research (CSCR).
RFC1281: Guidelines for secure operation of the Internet.
RFC1288: Finger.
RFC1296: Internet Growth 1981-91.
RFC1305: NTP (Network Time Protocol).
RFC1321: "The MD5 Message-Digest Algorithm.
RFC1393: Traceroute.
RFC1421: Mail Encryption and Authentication.
RFC1422: Mail: Certificate-Based Key Management.
RFC1423: Mail: Algorithms, Modes, and Identifiers.
RFC1424: Mail: Key Certification and Related Services.
RFC1436: Gopher Protocol.
RFC1459: Internet Relay Chat.
RFC1480: The US Domain.
RFC1510: Kerberos.
Telnet RFCs.
RFC 1521: Mime Pt I.
RFC 1522: Mime Pt II.
RFC 1563: Mime text/enriched content type.
RFC 1661: PPP (Point to Point Protocol).
RFC1700: ASSIGNED NUMBERS 1994 Oct;.
RFC 1713: DNS Debugging Tools.
RFC 1737: Uniform Resource Names.
RFC 1738: Uniform Resource Locators.
RFC1750: Randomness Recommendations for Security.
RFC1752: The Recommendation for the IP Next Generation Protocol.
RFC1769: SNTP (Simple Network Time Protocol).
RFC1780: Internet Official Protocol Standards.
RFC1790: Sun/Internet XDR/RPC agreement.
RFC1798: Connection-less Lightweight Directory Access Protocol.
RFC1800: INTERNET OFFICIAL PROTOCOL STANDARDS.
RFC1805: Location-Independent Data/Software Integrity Protocol.
RFC1806: Communicating Presentation Information in Internet Messages: The Content-Disposition Header.
RFC1807: A Format for Bibliographic Records.
RFC1808: Relative Uniform Resource Locators.
RFC1809: Using the Flow Label Field in IPv6.
RFC1810: Report on MD5 Performance.
RFC1812: Requirements for IP Version 4 Routers.
RFC1813: NFS Version 3 Protocol.
RFC1814: Unique Addresses are Good.
RFC1815: Character Sets ISO-10646 and ISO-10646-J-1.
RFC1816: U.S. Government Internet Domain Names.
RFC1818: Best Current Practices.
RFC1819: Internet Stream Protocol Version 2 (ST2) Protocol Specification - Version ST2+.
RFC1824: The Exponential Security System TESS: An Identity-Based Cryptographic Protocol for Authenticated Key-Exchange (E.I.S.S.-Report 1995/4).
RFC1825: Security Architecture for the Internet Protocol.
RFC1826: IP Authentication Header.
RFC1827: IP Encapsulating Security Payload (ESP).
RFC1828: IP Authentication using Keyed MD5.
RFC1829: The ESP DES-CBC Transform.
RFC1830: SMTP Service Extensions for Transmission of Large and Binary MIME Messages.
RFC1831: RPC: Remote Procedure Call Protocol Specification Version 2.
RFC1832: XDR: External Data Representation Standard.
RFC1833: Binding Protocols for ONC RPC Version 2.
RFC1844: Multimedia E-mail (MIME) User Agent checklist.
RFC1846: SMTP 521 reply code.
RFC1847: Security Multiparts for MIME: Multipart/Signed and Multipart/Encrypted.
RFC1848: MIME Object Security Services.
RFC1851: The ESP Triple DES-CBC Transform.
RFC1852: IP Authentication using Keyed SHA.
RFC1853: IP in IP tunnelling.
RFC1950: ZLIB Compressed Data Format Specification version 3.3.
RFC2068: Hypertext Transfer Protocol -- HTTP/1.1.
RFC2069: An Extension to HTTP : Digest Access Authentication.
RFC2083: PNG (Portable Network Graphics) Specification.
RFC2144: The CAST-128 Encryption Algorithm (also here). See also Constructing Symmetric Ciphers using the CAST Design Procedure and CAST Encryption Algorithm Related Publications.
RFC2151: A Primer On Internet and TCP/IP Tools and Utilities.
RFC2152: UTF-7 A Mail-Safe Transformation Format of Unicode.
RFC2154: OSPF with Digital Signatures.
RFC2181: Clarifications to the DNS Specification.
RFC2182: Selection and Operation of Secondary DNS Servers.
RFC2195: IMAP/POP AUTHorize Extension for Simple Challenge/Response.
RFC2196: Site Security Handbook.
RFC2200: INTERNET OFFICIAL PROTOCOL STANDARDS.
RFC2202: Test Cases for HMAC-MD5 and HMAC-SHA-1.
RFC2222: Simple Authentication and Security Layer (SASL).
RFC2223: Instructions to RFC Authors.
RFC2228: FTP Security Extensions.
RFC2244: ACAP -- Application Configuration Access Protocol -- possibly useful for presence also?
RFC2289: A One-Time Password System -- S/Key, with 2048-word English integer encodings?
RFC2324: Hyper Text Coffee Pot Control Protocol (HTCPCP/1.0).
RFC index at www.cis.ohio-state.edu.
RFC collection at sunsite.unc.edu.

See also Ohio State RFC Search Page and http://ds.internic.net/std/ and http://ds.internic.net/rfc/ , and the Internic internet-drafts archive at internic, and Current Internet-Drafts at IETF.

Also useful: The FEDERAL INFORMATION PROCESSING STANDARDS (FIPS) at NIST.
Mail Standards at Internet Mail Consortium.
News Standards at Internet Mail Consortium.
Architectural Considerations for Mobile Mesh Networking.

Technical Reference

Iowa Electronics Markets
Intrade
Hollywood Stock Exchange

"Resources in Interaction Design is a comprehensive listing of useful information for designers involved in the development of GUIs, information kiosks, CD-ROMs, CD-Is, Interactive TV, consumer electronic products and games. The listings are very much practice oriented and covers user interface design tools, conferences and trade shows, design schools, professional publications, useful net sources and user interface job announcements."

Hierarchical Segmentation Satisfying Constraints, promising paper Greg Heil pointed out to me.
National Imagery Transmission Format Standards board. Military implementations of JPEG and such.
Kerberos FAQ at OpenVision. Bibliography includes a good ATT critique.
Draft C++ standard.
Modula-3 docs in HTML, courtesy of DEC.
PixelPlanes (now "PixelFlow") project at unc, incl "Programmable Shading".
"The Graphics Page!" -- raytracing hotlist: software, docs, pics...
The Renderman Web Page.
RenderMan Repository.
POV-ray (Persistence Of Vision) homepage. An online manual is here POVbjects is archive of 3D programs, models and other resources.
Creative GPU Uses
Comp.Answers/Graphics FAQ at rtfm.mit.edu, including lots of intersection and raytracing pointers.
Hercules Monitor Database: Scan rates &tc for 100s of SVGA tubes.
madison.tdsnet.com with good monitor spec db.
Motif/X: Links to lots of Motif and X stuff on the Web.
BSP Trees FAQ.
Motif/X: Links to lots of Motif and X stuff on the Web.
BSP Trees FAQ.
TCP/IP Resources, a nice link gallery from collection from fatcow's collection. (Thankyou Katie Holton for pointing out this link!)
CLX manual online locally, as HTML index to postscript. The official source is export.lcs.mit.edu/R5contrib, but you may have more luck getting through to mirror site gatekeeper.dec.com/pub/X11-contrib.
Motif/X: Links to lots of Motif and X stuff on the Web.
BSP Trees FAQ.
Introduction to the Internet Protocols, Steven E. Newton's introduction to TCP/IP.
CLX manual online locally, as HTML index to postscript. The official source is export.lcs.mit.edu/R5contrib, but you may have more luck getting through to mirror site gatekeeper.dec.com/pub/X11-contrib.
Relaxed Balance Home Page, research on less synchronous updating of balanced trees, including b-trees and avl trees.
Introduction to the Internet Protocols, Steven E. Newton's introduction to TCP/IP.
CLX manual online locally, as HTML index to postscript. The official source is export.lcs.mit.edu/R5contrib, but you may have more luck getting through to mirror site gatekeeper.dec.com/pub/X11-contrib.
UW CAC Unix security checklist.
Unicode specs at stonehand.com. The official unicode site is unicode.org.
Computers, History at yahoo, including a nice Multics page. LLNL's Wavelet page, incl pointer to Yale Mathematics page of wavelet code and papers.
Natural Language Processing page at Yahoo.
Animal genome databases.
The Speaker Building Page formulas, software, tutorials &tc on building amplifiers and speakers.
NSFNET Transition/ New NSF Architecture, including Internet/NSFnet backbone traffic statistics. See also Internet Growth Graphs by MIDS.
comp.speech FAQ, including software, hardware, speech processing, speech synthesis, and speech recognition, such as Myers' Hidden Markov Model software, copyleft C++ code, the rsynth speech-synthesis package (available from svr-ftp.eng.cam.ac.uk) , and AT&T Voices.
Lockpicking Guide, disowned by the MIT Hackers.
Rensselaer's List of Chemical Databases.
"Network-BasedElectronic Publishing of Scholarly Works: A Selective Bibliography".
Introduction to Videoconferencing and the MBONE.
Computer and Communication Standards Documentation Wow! Pointers to standards from dozens of organizations from ACM through W3 Communications, ANSI through X.400!

Security stuff:
Cert Advisories.
SunOs Public Patches.
HPUX Patches & Support.
Unix System Security Checklist "This is a GOOD one!"
Satan program.
Nipple survey results.
FDA, including consumer advice on nutrition.
Prospero protocol V5, including ARDP (Asynchronous Reliable Delivery Protocol).
Spec Table: Big collection of computer benchmark results.
Revised Code of Washington: State of Washington laws.
rs.internic.net, with instructions on getting your own internet domain name.
X window access controls writeup by the UW's Dave Dittrich.
The XFree86-benchmarks Survey (xstones).
Video Card FAQ, with nice opinionated reviews.
Intel Secrets: Undocumented opcodes &tc.
System Optimization with PC chipset info, BIOS manuals, overclocking info...
Wim Sweldens has some nice papers on Kraig's Fountain of Wisdom.
Metric system, including "peta" and "exa".
Neuropsychology Central. -Brain Imaging- tutorials &tc, with a pointer to Ray Ballinger's Introduction to MRI.
Perl FAQ at ohio-state. See also Perl FAQ and Perl Docs at perl.com, Dylan Reference Manual.
UCSC (UC Santa Cruz) Perceptual Science Laboratory, with a nice facial animation section. Jack is a commercial articulation animation system (including facial animation?) from the UPenn Computer and Information Science Dept.
. HITLab Human Modelling page. Another human animation resource is VLNet (Virtual Life).
Physics FAQ.
Mosaic X Resources.
Tree of Live: "A distributed Internet project containing nformation about phylogeny and biodiversity".
PNG -- Portable Network Graphics, the probable replacement for .gif files.
Association of Lisp Users, with various lisp faq's &tc.
ODE User's Guide.
Eigenfaces at MIT (reference Kevin gave me). See also .
National Standards Systems Network (NSSN), central repository for ANSI and other standards.
Are We Cruising a Hypothesis Space?, a very intriguing sketch of Information Geometry.

Quantum Computing

Artificial Intelligence

Space Development

I'm interested in three critical technologies: biotechnology, artificial intelligence, and space development. Of the three, biotechnology is going great guns, artificial intelligence is waiting for better hardware, and I'd thought space development was dead in the water until I discovered:

SpaceDev, a public corporation devoted to exploring (and then developling) the asteroids.

Space Studies Institute, Gerard K O'Neill's space colonies outfit, has done a lot of great work both popularizing the concept and also developing the technology.

Better Living

Textile experts at Cornell University tell How To Remove 250 Stains From Clothes And Textiles
Repetitive Strain Injury: Using keyboards without getting crippled.
Typing Injury FAQ, including keyboard alternatives.
Coalition for Positive Sexuality, with their Just Say Yes page.
Dr Ruth's SexNet.
SawStop -- stops a table-saw in 5 milliseconds upon encountering a finger.
Memory improvement.
Medinet runs a background check on your doctor for $15.
BAT chord keyboards.
ErgoWEB: Ergonomics pages..
Aura from Poetic Technologies -- the ultimate ergonomic chair and workstation? :)
Chord keyboards.
VI Powered page, logo and resources.

General Reference

Japanese questions and answers

Sarasota Country Florida Property Appraiser, with online searches and Travis Country, Texas searchable tax assessor records
ditto for boston, dc and Long Island -- with pictures. courtclerk.org.

Learning Japanese

LASIK surgeon track records.

Quotation Home Page -- I especially like the -- href="http://www.geocities.com/~spanoudi/quote-05.html"> Proverbial Wisdom section. "Vulnerant omnia, ultima necat." (You'll have to look!)
Get Home Prices
Physicist Sornette predicts stock anti/bubble evolution using log-periodic fits.
Mortgage rates -- shop for the best rates via FSA!
Free Trip -- fantastic cartrip planner! See also MapQuest.
MacTutor History of Mathematics archive, a wonderful popular resource covering Greek math through general relativity.
The Net Advance of Physics: Review Articles and Tutorials in an Encyclopaedic Format.
Superstrings! Links.
M-theory, the theory formerly known as Strings.
CarWizard, with online pics and prices for most new models.
Family Search genealogy website with 400,000,000 names, provided by the Mormon church.
WordBot turns your browsers into a multi-language dictionary with definitions for any world available at a keystroke.
Directory of Mark Twain's maxims, quotations, and various opinions, nicely sorted by topic.
German dictionary.
Roget's theosaurus.
TheWord Detective.
Nine Planets.
CIA: World Maps &tc from the top terrorists.
Xerox PARC Map Viewer: world 54.03N 5.64W (34.1X)
How Far Is It? -- computes distance between two given locations.
The Roman Forum: Through the Ages.
UW Libraries.
Atlas of Canadian Communities.
Netnews FAQs.
History of Computing.
Ancient World web at evsc.virginia.edu.
Classical texts at the UW (TeX format).
Classic Greek art, archeology & literature at Tufts.
Classics online at U Michigan.
Classics online at Oxford.
Oxford Text Archive.
The classics online: Homer, Herodotus, Aristophanes...
Koran.
Classics: Ancient Greece and Rome, net resource index.
Project Gutenberg.
Mutopia, with free musical scores.
Online Book Initiative.
CMU online books, including a banned books online section.
Athena: Authors and Texts, an index of classic online books &tc.
Collected works of Aristotle at Houston Community College System's library.
Familiar Quotations, 1901 ed.
Graphion's Online Type Museum: Typography biographies and essays.
Hernias.
The Geology of Orcas Island, Washington, from the yahoo Regional Information: States: Washington page.
"The ancient city of Athens is a photographic archive of the archaeological and architectural remains..."
Virtual Museum of Computing.
The Otter.
A Chronology of United States Historical Documents at The University of Oklahoma Law Center, from The Iroquois Constitution (reputed source of the US Constitution) through M.L. King'S "I have a dream" speech.
Blind Links, resources for the blind, including The Archimedes Project, the Equal Access to Software and Information page, the Australian Royal Society Interface for Blind Users, and the Design of HTML (Mosaic) Pages to Increase Their Accessibility to Users With Disabilities page.
Warren Bloomer's (excellent!) Machine Learning page.

Locksley Hall by Tennyson (ca 1842):

For I dipt into the future, far as human eye could see,
Saw the Vision of the world, and all the wonder that would be;
Saw the heavens fill with commerce, argosies of magic sails,
Pilots of the purple twilight dropping down with costly bales;
Heard the heavens fill with shouting, and there rain'd a ghastly dew
From the nations' airy navies grappling in the central blue;

Realtime Information

Friends, Loves and Relatives

Virtual Communities

Net Data Archives

(More code sources are also in specific sections such as Linux or Crypo.)

Computer Vision Software, an excellent linkset at CMU.
Freeware Central.

Net Code Sources