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: Older computer vision papers have been moved to a separate page.)

To read:
2012-05-20 Sparse Norm Filtering for images "halo free, easy to implement, and low time and memory costs"
Contractive Denoising Autoencoder
Belief Propagation for Linear Programming
Flying Triangulation - towards the 3D movie camera
2012-05-13 Repairing and Inpainting Damaged Images using Diffusion Tensor
Fast Collision Checking: From Single Robots to Multi-Robot Teams
Cookies Invading Our Privacy for Marketing Advertising and Security Issues
Speech Enhancement Using Pitch Detection Approach For Noisy Environment
Revisiting Bayesian Blind Deconvolution
Shape Reconstruction and Recognition with Isolated Non-directional Cues
Fast Approximate Quadratic Programming for Large (Brain) Graph Matching <=======
2012-05-10 Momentum-based Balance Control for Torque-controlled Humanoids
Scalable Routing Easy as PIE: a Practical Isometric Embedding Protocol (Technical Report)
2012-05-07 On the variety of planar spirals and their applications in computer aided design, also MC-curves and aesthetic measurements for pseudospiral curve segments
Efficient Accelerated Coordinate Descent Methods and Faster Algorithms for Solving Linear Systems for image reconstruction etc.
Tracking in three dimensions via multi-path branching -- swarming the occlusion problem.
Image Similarity Using Sparse Representation and Compression Distance
A Semi-automated Statistical Algorithm for Object Separation

Efficient Stochastic Gradient Descent for Strongly Convex Optimization -- scaling gradient descent to large datasets: "a speed-up of orders of magnitude".
Towards Efficient Abstractions for Concurrent Consensus -- extending CML. <=======
Projective simulation for classical learning agents: a comprehensive investigation <======================= VERY GOOD!!
A Survey of Dimension Reduction Techniques -- 202, LLNL.
2012-05-06 A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure

Mathematical foundations for a compositional distributional model of meaning ... on reflection, I think this is cute rather than profound -- a lot of cool math invested for very little practical return.
Experimental support for a categorical compositional distributional model of meaning
Categories for the practising physicist

Results from a Practical Deployment of the MyZone Decentralized P2P Social Network
An Improved EM algorithm
LZ-Compressed String Dictionaries
Hierarchies of Predominantly Connected Communities
2012-05-02 The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
Hidden Markov Model Identifiability via Tensors
Tensor Decompositions: A New Concept in Brain Data Analysis?
2012-05-01 Various Types of Aesthetic Curves and An Improvised Algorithm to Identify The Beauty of A Planar Curve
Convolutional Neural Networks learn compact local image descriptors
Object Oriented Model for Evaluation of On-Chip Networks
On Semantic Word Cloud Representation
Recursive Estimation of Orientation Based on the Bingham Distribution -- beating Kalman filters with quaternions
Registration of Images with Outliers Using Joint Saliency Map
2012-04-29 A Provably Efficient Algorithm for Training Deep Networks
Synthesis of neural networks for spatio-temporal spike pattern recognition and processing
A Convex Approach for Image Hallucination
An Improved Approach for Word Ambiguity Removal
Web graph compression with fast access
A Universal Grammar-Based Code For Lossless Compression of Binary Trees
Bingham Procrustean Alignment for Object Detection in Clutter
Deterministic Initialization of the K-Means Algorithm Using Hierarchical Clustering
Measuring Cultural Relativity of Emotional Valence and Arousal using Semantic Clustering and Twitter
Fractal structures in Adversarial Prediction with speculative application to financial markets.
Combining Binary Search Trees
Markovian models for one dimensional structure estimation on heavily noisy imagery
2012-04-25 The K-modes algorithm for clustering
Remote Homology Detection in Proteins Using Graphical Models
Locally linear representation for subspace learning and clustering -- 2pages
Can P2P Networks be Super-Scalable?
Virtual Machine Trading in a Federation of Clouds: Individual Profit and Social Welfare Maximization
Occupational Fraud Detection Through Visualization
PIDE as front-end technology for Coq -- Isabella reaches out to Coq
Reliable Deniable Communication: Hiding Messages in Noise
Deep Scattering Spectrum -- improved audio spectrograms. "A scattering transform has striking similarities with physiological models of the cochlea and of the auditory pathway"
2012-04-23 A Semantics for Approximate Program Transformations
Solving Wave Equations on Unstructured Geometries -- GPU friendly.
GPU Scripting and Code Generation with PyCUDA and PyOpenCL.
DORI: Distributed Outdoor Robotic Instruments on the cheap.
Divide-and-Conquer Subspace Segmentation
Color image denoising by chromatic edges based vector valued diffusion
Another Asymptotic Notation : "Almost" -- beating "Big O".
Continuum armed bandit problem of few variables in high dimensions
Sliding Bloom Filters
Visual Room-Awareness for Humanoid Robot Self-Localization
Epigram: Practical Programming with Dependent Types <=================
The varifold representation of non-oriented shapes for diffeomorphic registration -- for computational anatomy.
Counting people from above: Airborne video based crowd analysis
A Duality Based Approach for Realtime TV-L1 Optical Flow -- recommended by preceding paper.
Download Stereo and Optical Flow code
GPU based real-time optical flow computation (2010 master's thesis.)
2012-04-19 Fast exact digital differential analyzer for circle generation
Polygon Matching and Indexing Under Affine Transformations
The Tap code - a code similar to Morse code for communication by tapping
Open Tiled Manycore System-on-Chip
Extended Object Tracking with Random Hypersurface Models -- when target-object pixels are few but more than one.
Ball-Larus Path Profiling Across Multiple Loop iterations -- compiler optimization in Java.
Object Tracking in Videos: Approaches and Issues
Newton-Based Optimization for Nonnegative Tensor Factorizations
2012-04-15 Towards more accurate clustering method by using dynamic time warping -- 2200X speedup on 100,000-element training sets.
The Social Maintenance of Cooperation through Hypocrisy -- "Hypocrisy allows the cooperative strategy to spread by taking credit for the success of the non-cooperative strategy"
An Improved ACS Algorithm for the Solutions of Larger TSP Problems
Improving Generalization Ability of Genetic Programming: Comparative Study -- beat the bloat!
Solving Linear Equations Using a Jacobi Based Time-Variant Adaptive Hybrid Evolutionary Algorithm
An Investigation of Wavelet Packet Transform for Spectrum Estimation
SybilFence: Improving Social-Graph-Based Sybil Defenses with User Negative Feedback
An accelerated CLPSO algorithm -- particle swarms go realtime.
Single View Depth Estimation from Examples
Unveiling the link between logical fallacies and web persuasion
GPU Acclerated Automated Feature Extraction from Satellite Images
A New Tree-based Classifier for Satellite Images
Hands-free Evolution of 3D-printable Objects via Eye Tracking
Formation control with binary information
h-approximation: History-Based Approximation of Possible World Semantics as ASP
If cooperation is likely punish mildly: Insights from economic experiments based on the snowdrift game
2012-04-09 Image Retrieval using Histogram Factorization and Contextual Similarity Learning
Nearly Maximum Flows in Nearly Linear Time
An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommodity Generalizations
Automatic Fingerprint Recognition Using Minutiae Matching Technique for the Large Fingerprint Database
An Improved GEF Fast Addition Algorithm
Sensors and Navigation Algorithms for Flight Control of Tethered Kites
A primer on information theory, with applications to neuroscience
The structure of Bayes nets for vision recognition
Hierarchical Evidence and Belief Functions
Truth Maintenance Under Uncertainty
An Empirical Comparison of Three Inference Methods
Rational Nonmonotonic Reasoning
Utility-Based Control for Computer Vision
Kernel Reconstruction ICA for Sparse Representation
Genetic Soundtracks: Creative Matching of Audio to Video
Convex hull: Incremental variations on the Akl-Toussaint heuristics Simple, optimal and space-saving convex hull algorithms
Maps of Computer Science <=======================
Image Classification by Feature Dimension Reduction and Graph based Ranking
Relative Positions of Countries in the World of Science
2012-04-05 Occupancy Grids: A Stochastic Spatial Representation for Active Robot Perception
Time, Chance, and Action -- a propositional temporal probability logic
Shadow Detection: A Survey and Comparative Evaluation of Recent Methods
Restoration of Images Corrupted by Impulse Noise and Mixed Gaussian Impulse Noise using Blind Inpainting
Fast SVM training using approximate extreme points
2012-04-01 Scalable Text and Link Analysis with Mixed-Topic Link Models
Concur : An Algorithm for Merging Concurrent Changes without Conflicts
Blinking Molecule Tracking
Age group and gender recognition from human facial images
Learning dictionary statistics from natural images -- wavelet dictionary of Gabor functions
Lambda Calculus Synopsis
A cookbook of translating English to Xapi -- Xapagy narrative-reasoning system.
2012-03-30 What Every Programmer Should Know About Memory
pROST : A Smoothed Lp-norm Robust Online Subspace Tracking Method for Realtime Background Subtraction in Video
Information driven self-organization of complex robotic behaviors <=================
2012-03-29 A Massively Parallel Associative Memory Based on Sparse Neural Networks
Inductive Hashing on Manifolds
#Bigbirds Never Die: Understanding Social Dynamics of Emergent Hashtag
ABC Reinforcement Learning
Large-Scale Automatic Reconstruction of Neuronal Processes from Electron Microscopy Images
Matrix approach to rough sets through vector matroids over a field
Sparse Projections of Medical Images onto Manifolds
Extended Fourier analysis of signals -- slower, but predicts data off end of sequence, unlike DFT.
2012-03-25 Video Face Matching using Subset Selection and Clustering of Probabilistic Multi-Region Histograms
Performance Evaluation of Edge-Directed Interpolation Methods for Images
Identifying Compiler Options to Minimise Energy Consumption for Embedded Platforms
Computation of the Travelling Salesman Problem by a Shrinking Blob
A Review of Dynamic NURBS Approach
A Graphical Language for Real-Time Critical Robot Commands
Best arm identification via Bayesian gap-based exploration
2012-03-18 Metric-Free Natural Gradient for Joint-Training of Boltzmann Machines
2012-03-15 Hybrid Evolutionary Computation for Continuous Optimization <===== excellent overview of evolutionary computation + state of the art.
Indoor Semantic Segmentation using depth information -- state of the art results without hand-crafted features, suitable for realtime FPGA implementation.
Normalized Compression Distance of Multisets with Applications -- Paul Vitanyi classifying retinal progenitor cells. <=======
2012-03-14 Type-theoretical natural language semantics: on the system F for meaning assembly
Optical Flow Sensing and the Inverse Perception Problem for Flying Bats in Texas.
A Unified Framework for Probabilistic Component Analysis
2012-03-13 Spectral Clustering with Epidemic Diffusion -- why walk randomly when you can gallop off in all directions?
Bilateral Filter: Graph Spectral Interpretation and Extensions -- smooths while preserving edges.
Gaussian Mixture Model for Handwritten Script Identification
Fourth-order flows in surface modelling
Probabilistic Topic and Syntax Modeling with Part-of-Speech LDA
A Stochastic Grammar for Natural Shapes
Automated Bayesian System Identification with NARX Models
A SVD accelerated kernel-independent fast multipole method and its application to BEM -- generic n-body problems etc.
Neural Networks Built from Unreliable Components
Audio Classical Composer Identification by Deep Neural Network
2012-03-08 On Considering Uncertainty and Alternatives in Low-Level Vision
Additive Belief-Network Models
Causal Independence for Knowledge Acquisition and Inference -- for practical applications
Mixtures of Gaussians and Minimum Relative Entropy Techniques for Modeling Continuous Uncertainties
A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging
An Implementation of a Method for Computing the Uncertainty in Inferred Probabilities in Belief Networks
Incremental Probabilistic Inference
A Method for Planning Given Uncertain and Incomplete Information
On Robust Face Recognition via Sparse Encoding: the Good, the Bad, and the Ugly
Three Layer Hierarchical Model for Chord -- tuning up P2P vs churn + scalability.
Improving Automatic Emotion Recognition from speech using Rhythm and Temporal feature
Web Data Extraction, Applications and Techniques: A Survey
Deconvolving Images with Unknown Boundaries Using the Alternating Direction Method of Multipliers
Eulerian Video Processing and Medical Applications -- MIT boffins detecting baby's heartbeat from a video. Matlab software available here
From Conditional Oughts to Qualitative Decision Theory
Approximate k-nearest neighbour based spatial clustering using k-d tree
Feature Learning in Deep Neural Networks - Studies on Speech Recognition Tasks
Efficient Estimation of Word Representations in Vector Space
Proactively Accountable Anonymous Messaging in Verdict <========
2012-03-05 Inverse Signal Classification for Financial Instruments
Social Recommendations within the Multimedia Sharing Systems
Clubs-based Particle Swarm Optimization
Efficient long division via Montgomery multiply
Learning Hash Functions Using Column Generation
Audit Games
Inductive Sparse Subspace Clustering
ICT System Design & Implementation Using Wireless Sensors to Support Elderly In-home Assistance (thesis).
Methods for robust PID control -- PID runs the world.
Object-oriented programming: some history, and challenges for the next fifty years
Statistical sentiment analysis performance in Opinum
Genetic Programming for Document Segmentation and Region Classification Using Discipulus
Distributed Evolutionary Computation: A New Technique for Solving Large Number of Equations
A Semantic approach for effective document clustering using WordNet
Multiple Kernel Sparse Representations for Supervised and Unsupervised Learning
Omega Model for Human Detection and Counting for application in Smart Surveillance System
Recognition of Facial Expression Using Eigenvector Based Distributed Features and Euclidean Distance Based Decision Making Technique also (by same authors): Indian Sign Language Recognition Using Eigen Value Weighted Euclidean Distance Based Classification Technique
Automatic symmetry based cluster approach for anomalous brain identification in PET scan image : An Analysis also by same authors: Symmetry Based Cluster Approach for Automatic Recognition of the Epileptic Focus in Brain Using PET Scan Image : An Analysis and Spatial Fuzzy C Means PET Image Segmentation of Neurodegenerative Disorder (evaluated on big practical dataset)
Denoising Deep Neural Networks Based Voice Activity Detection
Riemannian metrics for neural networks
Probing the statistical properties of unknown texts: application to the Voynich Manuscript
Sparse PCA through Low-rank Approximations
Top-down particle filtering for Bayesian decision trees -- 10X faster MCMC (Markov Chain Monte Carlo)
2012-03-03 Categorizing Bugs with Social Networks: A Case Study on Four Open Source Software Communities -- using support vector machine (SVM) to filter bug reports.
Realtime market microstructure analysis: online Transaction Cost Analysis
Path-memory induced quantization of classical orbits <===== !
2012-03-01 Measuring the Size of Large No-Limit Poker Games
Content Based Image Retrieval System Using NOHIS-tree
K Means Segmentation of Alzheimers Disease in PET scan datasets: An implementation
Fast Matching by 2 Lines of Code for Large Scale Face Recognition Systems
Modeling Stable Matching Problems with Answer Set Programming
Using cascading Bloom filters to improve the memory usage for de Brujin graphs
Torque Saturation in Bipedal Robotic Walking through Control Lyapunov Function Based Quadratic Programs
Variational Algorithms for Marginal MAP
Scoup-SMT: Scalable Coupled Sparse Matrix-Tensor Factorization for neural analysis -- and spammer detection...?
Bayesian Consensus Clustering -- software included.
Big Neural Networks Waste Capacity
See the Tree Through the Lines: The Shazoo Algorithm -- Full Version
A Linear Time Active Learning Algorithm for Link Classification -- Full Version -- in signed networks: "the enemy of my enemy is my friend".
2012-02-25 Thrifty Algorithms for Multistage Robust Optimization including min-cut.
Towards Python-based Domain-specific Languages for Self-reconfigurable Modular Robotics Research including "transparent sockets" - might be some wheels to steal here?
Greedy is as Good as Delaunay (Almost)
Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions
STEVE - Space-Time-Enclosing Volume Extraction
Self-similar prior and wavelet bases for hidden incompressible turbulent motion
Accelerated Linear SVM Training with Adaptive Variable Selection Frequencies
Iterative graph cuts for image segmentation with a nonlinear statistical shape prior
Thompson Sampling for Contextual Bandits with Linear Payoffs
Average Consensus in the Presence of Delays and Dynamically Changing Directed Graph Topologies
Prediction by Random-Walk Perturbation
Measuring Visual Complexity of Cluster-Based Visualizations
Four Side Distance: A New Fourier Shape Signature
Shape Characterization via Boundary Distortion
Distributed Wear levelling of Flash Memories
A Homogeneous Ensemble of Artificial Neural Networks for Time Series Forecasting
Image restoration using sparse approximations of spatially varying blur operators in the wavelet domain
Learning a Factor Model via Regularized PCA -- fast as PCA.
Replacing suffix trees with enhanced suffix arrays (2004, Journal of Discrete Algorithms).
2012-02-22 Probabilistic Frame Induction
Belief Functions and Default Reasoning
Clustering Without (Thinking About) Triangulation
Display of Information for Time-Critical Decision Making
Pooling-Invariant Image Feature Learning
Trajectory generation and display for free flight -- follow the leader.
Capturing Information Flows inside Android and Qemu Environments
Naturally-Rehearsing Passwords
On the k-Independence Required by Linear Probing and Minwise Independence
An Efficient Detection Mechanism for Distributed Denial of Service (DDoS) Attack
Unsupervised edge map scoring: an statistical complexity approach -- image processing
Object Detection in Real Images
Unions of Onions -- recursive convex hulls
History of malware
. High-Dimensional Probability Estimation with Deep Density Models
Deep Learning for Detecting Robotic Grasps
Implementing a Hilbert map of the Internet. (stackoverflow.com)
2012-02-20 Why Dependent Types Matter
MFR24BM0MA Wifi Daughterboard at microchip ($35), compare Diligent PmodWiFi module ($50), also the openPicus Flyport
2012-02-19 Robust Image Segmentation in Low Depth Of Field Images
Understanding Deep Learning by Revisiting Boltzmann Machines: An Information Geometry Approach
Distributed boundary tracking using alpha and Delaunay-Cech shapes
Full-fledged Real-Time Indexing for Constant Size Alphabets
Modeling and Performance Analysis of Pull-Based Live Streaming Schemes in Peer-to-Peer Network
Order Preserving Matching with applications in music and stock trading.
Feature Multi-Selection among Subjective Features
Recommending Given Names
Identification of Literary Movements Using Complex Networks to Represent Texts
No More Pesky Learning Rates for stochastic gradient descent (SGD).
On Model Based Synthesis of Embedded Control Software
Information-Theoretic Measures of Influence Based on Content Dynamics
Fourier-Bessel rotational invariant eigenimages
A Time Series Forest for Classification and Feature Extraction
A framework for automated PDE-constrained optimisation
How Seals Sleep With Only Half Their Brain at a Time (SciDaily)
2012-02-16 The Visual Complexity of Pollock's Dripped Fractals -- people somewhat prefer fractal density 1.3-1.5? (2002)
Valley Benchmark for GPUs with 64km2**2 of walkthrough terrain.
Reward Is Assessed in Three Dimensions That Correspond to the Semantic Differential -- quantifying connotations of natural language words via factor analysis into Evaluation, Potency and Activity, vs old semantic differential. <=============
Approximate Bayesian Computation (PLoS)
2012-02-15 An Efficient Dual Approach to Distance Metric Learning for face recognition etc.
Adaptive Crowdsourcing Algorithms for the Bandit Survey Problem
StructBoost: Boosting Methods for Predicting Structured Output Variables: When the output has to be more complex than a scalar. Applications to video tracking etc. <=================
On Consistency of Operational Transformation Approach -- why your collaborative editor doesn't work.
Eigenfunctions of the Edge-Based Laplacian on a Graph -- more useful than you thought!
Improved multiple birdsong tracking with distribution derivative method and Markov renewal process clustering
Displaying Asynchronous Reactions to a Document: Two Goals and a Design
The Geography of Happiness: Connecting Twitter sentiment and expression, demographics, and objective characteristics of place
A consistent clustering-based approach to estimating the number of change-points in highly dependent time-series
2012-02-12 A Tensor Spectral Approach to Learning Mixed Membership Community Models
Lock-free Concurrent Data Structures
Linear and Geometric Mixtures - Analysis in data compression; also Mixing Strategies in Data Compression and Combining non-stationary prediction, optimization and mixing for data compression <=============

Optimizatoin-quantizationN for least squares estimates and its application for lossless audio compression -- beating MPEG4-ALS (Ref [16] in last above)

Competing With Strategies
Most tensor problems are NP-hard
Message Error Analysis of Loopy Belief Propagation for the Sum-Product Algorithm
Mechanism Design for Fair Division
Bounded regret in stochastic multi-armed bandits
2012-02-08 Update Rules for Parameter Estimation in Bayesian Networks

A Tutorial on Learning With Bayesian Networks 1995

Bayes Networks for Sonar Sensor Fusion
Exploiting Uncertain and Temporal Information in Correlation
Corporate Evidential Decision Making in Performance Prediction Domains
Algorithms for Learning Decomposable Models and Chordal Graphs ... "undirected and directed graphs (which, in a probabilistic context, are usually called Markov networks and Bayesian networks, reĀ­ spectively..." <=========================================
Incremental Pruning: A Simple, Fast, Exact Method for Partially Observable Markov Decision Processes ... "presently the most efficient exact method for solving POMDPs."
A Standard Approach for Optimizing Belief Network Inference using Query DAGs
Image Segmentation in Video Sequences: A Probabilistic Approach
Algorithm Portfolio Design: Theory vs. Practice
Learning Bayesian Nets that Perform Well
Probability Update: Conditioning vs. Cross-Entropy
Perception, Attention, and Resources: A Decision-Theoretic Approach to Graphics Rendering
Learning Belief Networks in Domains with Recursively Embedded Pseudo Independent Submodels
Relational Bayesian Networks -- supporting equality constraints.
An Information-Theoretic Analysis of Hard and Soft Assignment Methods for Clustering
Computational Advantages of Relevance Reasoning in Bayesian Belief Networks
A Target Classification Decision Aid
The Cognitive Processing of Causal Knowledge <=======================
Representing Aggregate Belief through the Competitive Equilibrium of a Securities Market
Learning Bayesian Networks from Incomplete Databases
Cost-Sharing in Bayesian Knowledge Bases
Lexical Access for Speech Understanding using Minimum Message Length Encoding
Region-Based Approximations for Planning in Stochastic Domains
Independence of Causal Influence and Clique Tree Propagation
Adaptive low rank and sparse decomposition of video using compressive sensing including background subtraction.
Eye-GUIDE (Eye-Gaze User Interface Design) Messaging for Physically-Impaired People
A Fast Learning Algorithm for Image Segmentation with Max-Pooling Convolutional Networks "record breaking performance", also Fast Image Scanning with Deep Max-Pooling Convolutional Neural Networks
Uncovering the Wider Structure of Extreme Right Communities Spanning Popular Online Networks
Energy Minimization for Parallel Real-Time Systems with Malleable Jobs and Homogeneous Frequencies 60Watt saving!
2012-02-07 Introduction to Redberry: the computer algebra system designed for tensor manipulation -- open source in Java7 with APIs..
A Simple Linear Algorithm for Intersecting Convex Polygons (1997)
Real-Time Collision Detection (book, recommended)
Object/Object Intersection at realtimerendering.com
Computational geometry software packages such as the Computation Geometry Algorithms Library (CGAL) (GPL) and the the GNU Triangulated Surface Library (GTS)
RandomBoost: Simplified Multi-class Boosting through Randomization
Image Denoising Using Interquartile Range Filter with Local Averaging -- better than median.
The price of bandit information in multiclass online classification
Lightweight Lempel-Ziv Parsing
Evolvability Is Inevitable: Increasing Evolvability Without the Pressure to Adapt
An Effective Procedure for Computing "Uncomputable" Functions -- beyond Turing Machines?
Fast Multi-Scale Community Detection based on Local Criteria within a Multi-Threaded Algorithm
Rooting out the Rumor Culprit from Suspects
2012-02-05 HAT, not CAP: Highly Available Transactions
Sparse Multiple Kernel Learning with Geometric Convergence Rate
A New Constructive Method to Optimize Neural Network Architecture and Generalization
Bayesian Entropy Estimation for Countable Discrete Distributions
Fast Damage Recovery in Robotics with the T-Resilience Algorithm
Correcting Camera Shake by Incremental Sparse Approximation
Sparse Camera Network for Visual Surveillance -- A Comprehensive Survey
On the use of Biplot analysis for multivariate bibliometric and scientific indicators
Multi-scale Visual Attention & Saliency Modelling with Decision Theory
Tigers vs Lions: Towards Characterizing Solitary and Group User Behavior in MMORPG
Multi-Robot Informative Path Planning for Active Sensing of Environmental Phenomena: A Tale of Two Algorithms
Rooted Trees with Probabilities Revisited
Beyond Markov Chains, Towards Adaptive Memristor Network-based Music Generation
Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus for modelling natural language semantics
Evolutionary dynamics of time-resolved social interactions
On the structure of learning agents
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
Identifying Metaphoric Antonyms in a Corpus Analysis of Finance Articles
On The Relational Foundations Of Functorial Data Migration
2012-02-01 Empirical Analysis of Predictive Algorithms for Collaborative Filtering -- vector similarity loses.
An Experimental Comparison of Several Clustering and Initialization Methods
Learning Mixtures of DAG Models
Opinion Maximization in Social Networks
A Framework for the Verification of Certifying Computations
Information driven self-organization of complex robotic behaviors -- "avoiding the curse of dimensionality"
Efficient Algorithms for One-Dimensional k-Center Problems -- O(NlogN) is always interesting! (k-Center is positioning k warehouses as closely as possible to N cities.)
Title: Fast Graph Construction Using Auction Algorithm <====
Probability and Asset Updating using Bayesian Networks for Combinatorial Prediction Markets <====
Factorized Multi-Modal Topic Model
An Approximate Solution Method for Large Risk-Averse Markov Decision Processes
2012-01-31 A Domain Specific Language for kinematic models and fast implementations of robot dynamics algorithms
Efficient Spherical Harmonic Transforms aimed at pseudo-spectral numerical simulations -- fast, practical, open source code available.
2012-01-30 A Temporal Bayesian Network for Diagnosis and Prediction
Inferring Parameters and Structure of Latent Variable Models by Variational Bayes
Artificial Decision Making Under Uncertainty in Intelligent Buildings
Reasoning With Conditional Ceteris Paribus Preference Statem
Continuous Value Function Approximation for Sequential Bidding Policies
Discovering the Hidden Structure of Complex Dynamic Systems <=====
Comparing Bayesian Network Classifiers
Fast Learning from Sparse Data
Learning Polytrees
A Hybrid Anytime Algorithm for the Constructiion of Causal Models From Sparse Data
Data Analysis with Bayesian Networks: A Bootstrap Approach
Learning Bayesian Network Structure from Massive Datasets: The "Sparse Candidate" Algorithm
A New Model of Plan Recognition
SPUDD: Stochastic Planning using Decision Diagrams
Attention-Sensitive Alerting -- prioritizing email.
A General Algorithm for Approximate Inference and its Application to Hybrid Bayes Nets
Bayesian Poker
Choosing Among Interpretations of Probability -- confidence intervals win in the short run; in the long run we're all dead.
Graphical Representations of Consensus Belief -- in favor of logarithmic opinion pool (LogOP).
SPOOK: A System for Probabilistic Object-Oriented Knowledge Representation -- "orders of magnitude" speedup on the battlefield.
Learning Hidden Markov Models with Geometrical Constraints for robot navigation
Practical Uses of Belief Functions
A Method for Speeding Up Value Iteration in Partially Observable Markov Decision Processes -- "several orders of magnitude faster"
An alternative text representation to TF-IDF and Bag-of-Words <====
On Graph Stream Clustering with Side Information
Skeletal Representations and Applications. Beyond triangle meshes -- here be dragons! <=======
ChaMAILeon: Simplified email sharing like never before! <=====
Robust Face Recognition via Block Sparse Bayesian Learning at circa 97%-accurate level. <=========
Face Recognition Using Laplacianfaces ([5] in previous)
PhishAri: Automatic Realtime Phishing Detection on Twitter
A Unified Community Detection, Visualization and Analysis method
2012-01-29 Cheep computing: Raspberry Pi, Fignition, VIA APC, Rikomagic, BEAGLEBOARD, Mele 1000, Hiapad Hi802, FXI Cotton Candy, Intel NUC (+ fanless case), Xi3, ZBOX.
2012-01-28 Identifying Player? Strategies in No Limit Texas Hold?m Poker through the Analysis of Individual Moves and Computer Poker Research at LIACC
Linear-Time Algorithms for Scattering Number and Hamilton-Connectivity of Interval Graphs
Immersive VR Visualizations by VFIVE. Part 1: Development and Part 2: Applications
Improving the lifecycle of robotics components using Domain-Specific Languages
Weighted Last-Step Min-Max Algorithm with Improved Sub-Logarithmic Regret and stock market prediction.
Flaglets: Exact Wavelets on the Ball
2012-01-26 Transfer Topic Modeling with Ease and Scalability
2012-01-25 When is tit-for-tat unbeatable?
Producing a Unified Graph Representation from Multiple Social Network Views
Approximation of grammar-based compression via recompression
Reinforcement learning from comparisons: Three alternatives is enough, two is not
Canalization and control in automata networks: body segmentation in Drosophila melanogaster
A GPU-accelerated Direct-sum Boundary Integral Poisson-Boltzmann Solver
The Objective Indefiniteness Interpretation of Quantum Mechanics
2012-01-24 Why Size Matters: Feature Coding as Nystrom Sampling
Toward the Automatic Generation of a Semantic VRML Model from Unorganized 3D Point Clouds
Efficient MRF Energy Propagation for Video Segmentation via Bilateral Filters
Multi-class Generalized Binary Search for Active Inverse Reinforcement Learning
ChESS - Quick and Robust Detection of Chess-board Features
Multi-Class Detection and Segmentation of Objects in Depth
Information as Distinctions: New Foundations for Information Theory
Robust Text Detection in Natural Scene Images
Clustering Learning for Robotic Vision -- "The goal of this paper is to promote the technique for general-purpose robotic vision systems." <==========
According to above paper, the current state of the art is represented by Visual Tracking with Similarity Matching Ratio ("robust to outliers") and Tracking-Learning-Detection.
2012-01-21 Lip Localization and Viseme Classification for Visual Speech Recognition
A Polynomial Time Conditional Gradient Algorithm with Applications to Online and Stochastic Optimization
Formal Verification of Hardware SynthesisCoq/Ocaml VHDL generation.
Active Learning of Inverse Models with Intrinsically Motivated Goal Exploration in Robots
A Linear Time Algorithm for the Feasibility of Pebble Motion on Graphs
Unsupervised Feature Learning for low-level Local Image Descriptors -- Restricted Boltzman Machines match performance of hand-crafted descriptors.
Audio Artist Identification by Deep Neural Network
See the Tree Through the Lines: The Shazoo Algorithm
"Seed+Expand": A validated methodology for creating high quality publication oeuvres of individual researchers
Thinking like Archimedes with a 3D printer
Properties of the Least Squares Temporal Difference learning algorithm
Efficient Dimensionality Reduction for Canonical Correlation Analysis
Word Storms: Multiples of Word Clouds for Visual Comparison of Documents
Follow the Leader If You Can, Hedge If You Must
2012-01-19 Visualizing Data using t-SNE -- visualizing high-dimensional data.
2012-01-18 A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables
Reversible Jump MCMC Simulated Annealing for Neural Networks
Variational Relevance Vector Machines
Computational Investigation of Low-Discrepancy Sequences in Simulation Algorithms for Bayesian Networks
A Bayesian Method for Causal Modeling and Discovery Under Selection
A Differential Approach to Inference in Bayesian Networks
Any-Space Probabilistic Inference -- creative forgetting for "orders of magnitude improvements in certain cases".
Experiments with Random Projection
A Two-round Variant of EM for Gaussian Mixtures
Minimum Message Length Clustering Using Gibbs Sampling -- beyond K-Mean and EM.
Mix-nets: Factored Mixtures of Gaussians in Bayesian Networks With Mixed Continuous And Discrete Variables -- beyond EM accellerated by multiresolution kd-trees.
Rao-Blackwellised Particle Filtering for Dynamic Bayesian Networks
Learning Graphical Models of Images, Videos and Their Spatial Transformations
Likelihood Computations Using Value Abstractions
Being Bayesian about Network Structure
Maximum Entropy and the Glasses You Are Looking Through
Inference for Belief Networks Using Coupling From the Past
Dependency Networks for Collaborative Filtering and Data Visualization
The Anchors Hierachy: Using the triangle inequality to survive high dimensional data
PEGASUS: A Policy Search Method for Large MDPs and POMDPs
Conversation as Action Under Uncertainty
Collaborative Filtering by Personality Diagnosis: A Hybrid Memory- and Model-Based Approach
Compact Securities Markets for Pareto Optimal Reallocation of Risk
Probabilistic State-Dependent Grammars for Plan Recognition
Pivotal Pruning of Trade-offs in QPNs
Monte Carlo Inference via Greedy Importance Sampling
Combining Feature and Prototype Pruning by Uncertainty Minimization
Nash Convergence of Gradient Dynamics in Iterated General-Sum Games
A Knowledge Acquisition Tool for Bayesian-Network Troubleshooters
On the Use of Skeletons when Learning in Bayesian Networks
Dynamic Trees: A Structured Variational Method Giving Efficient Propagation Rules
A Branch-and-Bound Algorithm for MDL Learning Bayesian Networks
Model-Based Hierarchical Clustering
Multiscale Discriminant Saliency for Visual Attention
Parameterizable Byzantine Broadcast in Loosely Connected Networks
Approximating Bin Packing within O(log OPT * log log OPT) bins -- first improvement in three decades.
Knowledge Matters: Importance of Prior Information for Optimization -- works when all else fails! <================
Evolutionary Algorithms and Dynamic Programming
Everything by Emanuel Diamant
Rethinking resampling in the particle filter on graphics processing units
Financial Portfolio Optimization: Computationally guided agents to investigate, analyse and invest!?
2012-01-16 Learnable Pooling Regions for Image Classification
Sparse Penalty in Deep Belief Networks: Using the Mixed Norm Constraint
A Rhetorical Analysis Approach to Natural Language Processing
Negative Imaginary Systems Theory in the Robust Control of Highly Resonant Flexible Structures
Stochastic Pooling for Regularization of Deep Convolutional Neural Networks
Indoor Semantic Segmentation using depth information on FPGAs :-)
Kernelized Locality-Sensitive Hashing for Semi-Supervised Agglomerative Clustering
Deep Learning for Detecting Robotic Grasps
Feature Learning in Deep Neural Networks - A Study on Speech Recognition Tasks
Learning New Facts From Knowledge Bases With Neural Tensor Networks and Semantic Word Vectors
Two SVDs produce more focal deep learning representations
Training Neural Networks with Stochastic Hessian-Free Optimization
Zero-Shot Learning Through Cross-Modal Transfer
The IBMAP approach for Markov networks structure learning
Gradient Driven Learning for Pooling in Visual Pipeline Feature Extraction Models
Mutual Localization: Two Camera Relative 6-DOF Pose Estimation from Reciprocal Fiducial Observation
Efficient Estimation of Word Representations in Vector Space
Convex Variational Image Restoration with Histogram Priors
Modeling human dynamics of face-to-face interaction networks
Change-Point Detection in Time-Series Data by Relative Density-Ratio Estimation
Certifying and reasoning about cost annotations of functional programs
Gender Recognition in Walk Gait through 3D Motion by Quadratic Bezier Curve and Statistical Techniques
Boltzmann Machines and Denoising Autoencoders for Image Denoising
Factorized Topic Models
2012-01-15 The Manifold of Human Emotions
Efficient Learning of Domain-invariant Image Representations (updated 2013-04-10)
The Expressive Power of Word Embeddings -- SENNA wins! <==============================
Quick training of probabilistic neural nets by importance sampling -- 2003 paper on word embedding -- ref [2] in above paper.
Word representations: A simple and general method for semi-supervised learning -- useful background for above.
Curriculum Learning -- ref from previous. RBM (Restricted Boltzmann Machine).
Reconfiguration Strategies for Online Hardware Multitasking in Embedded Systems -- FPGA partial reconfiguration
Auto-pooling: Learning to Improve Invariance of Image Features from Image Sequences
Barnes-Hut-SNE -- high-dimensional visuation in O(nlogn) instead of O(N**2)
Multi-agent learning using Fictitious Play and Extended Kalman Filter
On the Identificability of Overcomplete Dictionaries via the Minimisation Principle Underlying K-SVD
The Diagonalized Newton Algorithm for Nonnegative Matrix Factorization -- and why you should care.
Feature grouping from spatially constrained multiplicative interaction
3D Geological Modeling and Visualization of Rock Masses Based on Google Earth: A Case Study
A Geometric Descriptor for Cell-Division Detection
2012-01-13 Confidence Inference in Bayesian Networks
Variational MCMC
Robust Combination of Local Controllers for motion planning etc.
A Clustering Approach to Solving Large Stochastic Matching Problems in stock market gets and puts.
Solving Influence Diagrams using HUGIN, Shafer-Shenoy and Lazy Propagation
Expectation Propagation for approximate Bayesian inference == kalman filters + loopy belief propagation :-)
Lattice Particle Filters
Approximating MAP using Local Search -- MAP made practical?
Vector-space Analysis of Belief-state Approximation for POMDPs -- "up to two orders of magnitude" faster.
A Mixed Graphical Model for Rhythmic Parsing
The Optimal Reward Baseline for Gradient-Based Reinforcement Learning
Belief Optimization for Binary Networks: A Stable Alternative to Loopy Belief Propagation
Statistical Modeling in Continuous Speech Recognition (CSR)(Invited Talk)
Planning and Acting under Uncertainty: A New Model for Spoken Dialogue Systems
Planning by Prioritized Sweeping with Small Backups
PETRELS: Parallel Subspace Estimation and Tracking by Recursive Least Squares from Partial Observations
On Non-Interference of Transactions
2012-01-11 Error Correction in Learning using SVMs
Content-Based Video Browsing by Text Region Localization and Classification, and AViTExt: Automatic Video Text Extraction, A new Approach for video content indexing Application and A Visual Grammar Approach for TV Program Identification
An Evidential Interpretation of the 1st and 2nd Laws of Thermodynamics
tym: Typed Matlab
No need for conspiracy: Self-organized cartel formation in a modified trust game
Determinantal point processes for machine learning -- "a gentle introduction"
Recent advances in bibliometric indexes and the PaperRank problem
Counterfactual Reasoning and Learning Systems
A fair comparison of many max-tree computation algorithms (Extended version of the paper submitted to ISMM 2013 <================
2012-01-10 Parallel Computing of Discrete Element Method on GPU
Linear Bandits in High Dimension and Recommendation Systems
USPTO Patent Maps in Central Europe: Can "Cathedrals" be Built on the Ruins of Socialism?
Image Registration for Stability Testing of MEMS
Risk-Aversion in Multi-armed Bandits
Bayesian Optimization in a Billion Dimensions via Random Embeddings<
The Effects of Powertrain Mechanical Response on the Dynamics and String Stability of a Platoon of Adaptive Cruise Control Vehicles
A Fast SVM-based Feature Selection Method, Combining MFE (Margin-Maximizing Feature Elimination) and Upper Bound on Misclassification Risk
2012-01-09 PaFiMoCS: Particle Filtered Modified-CS and Applications in Visual Tracking across Illumination Change
Utilizing ASP for Generating and Visualizing Argumentation Frameworks
Planning and Scheduling in Hybrid Domains Using Answer Set Programming
Answer Set Programming for Stream Reasoning
Practical graph isomorphism, II
A novel processing pipeline for optical multi-touch surfaces
Coupled Neural Associative Memories
Causal graph-based video segmentation
Optical Flow on Evolving Surfaces with an Application to the Analysis of 4D Microscopy Data
2012-01-07 Markov Equivalence Classes for Maximal Ancestral Graphs
Learning Hierarchical Object Maps Of Non-Stationary Environments with mobile robots
Tree-dependent Component Analysis
Learning with Scope, with Application to Information Extraction and Classification
Qualitative MDPs and POMDPs: An Order-Of-Magnitude Approximation
Interpolating Conditional Density Trees
Iterative Join-Graph Propagation
Reduction of Maximum Entropy Models to Hidden Markov Models
Decayed MCMC Filtering
Optimal Time Bounds for Approximate Clustering -- k-median in linear time! :-)
Real-valued All-Dimensions search: Low-overhead rapid searching over subsets of attributes
Factored Particles for Scalable Monitoring
MAP Complexity Results and Approximation Methods
Modelling Information Incorporation in Markets, with Application to Detecting and Explaining Events
Advances in Boosting (Invited Talk)
Reinforcement Learning with Partially Known World Dynamics
Unsupervised Active Learning in Large Domains -- fun with committees.
Real-Time Inference with Large-Scale Temporal Bayes Nets
Particle Filters in Robotics (Invited Talk)
Adaptive Foreground and Shadow Detection in Image Sequences -- monocular.
IPF for Discrete Chain Factor Graphs
Position and Orientation Estimation of a Rigid Body: Rigid Body Localization
The Sum-over-Forests density index: identifying dense regions in a graph
Improved QFT algorithm for power-of-two FFT
Cliques in complex networks reveal link formation and community evolution
Moment-Matching Polynomials and the Mystery of the Support Vector Machine
2012-01-04 Image Steganography based on a Parameterized Canny Edge Detection Algorithm
Human-Recognizable Robotic Gestures
YAGI Antenna Design for Signal Phone Jammer
Programming CUDA and OpenCL: A Case Study Using Modern C++ Libraries
Alternating Directions Dual Decomposition
A Formal Model For Real-Time Parallel Computation
Social Teaching: Being Informative vs. Being Right in Sequential Decision Making
Exploring mutexes, the Oracle RDBMS retrial spinlocks
Blind Multilinear Identification
Two-Dimensional Kolmogorov Complexity and Validation of the Coding Theorem Method by Compressibility
Early Warning Analysis for Social Diffusion Events
Autonomously Learning to Visually Detect Where Manipulation Will Succeed
Improving Robustness via Disjunctive Statements in Imperative Programming
About Multichannel Speech Signal Extraction and Separation Techniques
The Geant4 Visualisation System - a multi-driver graphics system
Focus of Attention for Linear Predictors
Pilgrims Face Recognition Dataset -- HUFRD
Discrete Signal Processing on Graphs
Classical Model Predictive Control of a Permanent Magnet Synchronous Motor
Employing functional interactions for characterization and detection of sparse complexes from yeast PPI networks
A Self-Organizing Neural Scheme for Door Detection in Different Environments
Investigating the performance of Correspondence Algorithms in Vision based Driver-assistance in Indoor Environment
Follow the Leader If You Can, Hedge If You Must
A dynamic data structure for counting subgraphs in sparse graphs
Surprise maximization reveals the community structure of complex networks
2012-12-28 Online Forum Thread Retrieval using Pseudo Cluster Selection and Voting Techniques
Multi-Architecture Builds Using GNU make per mad-scientist.net (Paul D. Smith)
2012-12-26 High-precision camera distortion measurements with a "calibration harp"
ADADELTA: An Adaptive Learning Rate Method
Normalized Compression Distance of Multiples -- another Paul M B Vitanyi paper.
Hierarchical Graphical Models for Multigroup Shape Analysis using Expectation Maximization with Sampling in Kendall's Shape Space
Strategy-Proof Prediction Markets
Blinking Molecule Tracking
T-Base: A Triangle-Based Iterative Algorithm for Smoothing Quadrilateral Meshes
Ear-clipping Based Algorithms of Generating High-quality Polygon Triangulation
On The Optimization of Dijkstras Algorithm (shortest-path)
High Quality Image Interpolation via Local Autoregressive and Nonlocal 3-D Sparse Regularization
Hyperplane Arrangements and Locality-Sensitive Hashing with Lift
Generating Motion Patterns Using Evolutionary Computation in Digital Soccer
Efficient Multiple Object Tracking Using Mutually Repulsive Active Membranes
SuperNOVA: a novel algorithm for graph automorphism calculations
Revolvable Indoor Panoramas Using a Rectified Azimuthal Projection
The Ensemble Kalman Filter for Inverse Problems
2012-12-24 Multi-Objective AI Planning: Evaluating DAE-YAHSP on a Tunable Benchmark
2012-12-20 Automatic landmark annotation and dense correspondence registration for 3D human facial images
Dead code elimination based pointer analysis for multithreaded programs
Recognition of Logically Related Regions Based Heap Abstraction
A Polynomial Time Version of LLL With Deep Insertions
The Inverse Shapley Value Problem
FReD: Automated Debugging via Binary Search through a Process Lifetime
2012-12-17 Linearly Reconfigurable Kalman Filtering for a Vector Process
Distributed Self-Stabilizing Balancing Algorithm for Containment-Based Trees
A New Retinal Vessel Tracking Method Based on Orientation Scores
Single-Pass GPU-Raycasting for Structured Adaptive Mesh Refinement Data
Approximating rational Bezier curves by constrained Bezier curves of arbitrary degree
ADER-WENO Finite Volume Schemes with Space-Time Adaptive Mesh Refinement
Equivalence of History and Generator Epsilon-Machines
From compression to compressed sensing
2012-12-13 Mining the Web for the Voice of the Herd to Track Stock Market Bubbles
Enhanced skin colour classifier using RGB Ratio model
Dynamic Simulation of Soft Heterogeneous Objects
Linear Time Lempel-Ziv Factorization: Simple, Fast, Small
Joint Training of Deep Boltzmann Machines
Accelerating Inference: towards a full Language, Compiler and Hardware stack
Multi-target tracking algorithms in 3D
The Modified Direct Method: an Approach for Smoothing Planar and Surface Meshes
Identifying Metaphoric Antonyms in a Corpus Analysis of Finance Articles
Robust image reconstruction from multi-view measurements
Software Mutational Robustness
2012-12-11 Google Earth -- at night!
Hybrid Optimized Back propagation Learning Algorithm For Multi-layer Perceptron
IK-PSO, PSO Inverse Kinematics Solver with Application to Biped Gait Generation and Toward Intelligent Biped-Humanoids Gaits Generation
Sequential Testing for Sparse Recovery -- optimal sampling in high dimensions.
A fair comparison of many max-tree computation algorithms (Extended version of the paper submitted to ISMM 2013
Stochastic Gradient Descent for Non-smooth Optimization: Convergence Results and Optimal Averaging Schemes
Local Component Analysis
Social Turing Tests: Crowdsourcing Sybil Detection
Tensor decompositions for learning latent variable models -- singular value decomposition (SVD) on a higher plane.
Fast and Robust Linear Motion Deblurring
Bag-of-Words Representation for Biomedical Time Series Classification
From the Birthday Paradox to a Practical Sublinear Space Streaming Algorithm for Triangle Counting
Inverting and Visualizing Features for Object Detection
Reconstruction of Integers from Pairwise Distances with applications to phase recovery and computational geometry.
On the complexity of learning a language: An improvement of Block's algorithm -- from exponential to essentially linear. :-)
Robust Face Recognition using Local Illumination Normalization and Discriminant Feature Point Selection
Bayesian Hierarchical Mixtures of Experts with applications to robot arm kinematics.
Value Elimination: Bayesian Inference via Backtracking Search
The Information Bottleneck EM Algorithm
A Simple Insight into Iterative Belief Propagation's Success
A Robust Independence Test for Constraint-Based Learning of Causal Structure
Monte Carlo Matrix Inversion Policy Evaluation
Efficient Gradient Estimation for Motor Control Learning -- throwing imaginary darts.
1 Billion Pages = 1 Million Dollars? Mining the Web to Play "Who Wants to be a Millionaire?"
Sufficient Dimensionality Reduction with Irrelevant Statistics <==================================================
Extending Factor Graphs so as to Unify Directed and Undirected Graphical Models
A Distance-Based Branch and Bound Feature Selection Algorithm
Decentralized Sensor Fusion With Distributed Particle Filters
Policy-contingent abstraction for robust robot control -- actually used in practice.
Solving MAP Exactly using Systematic Search
Learning Continuous Time Bayesian Networks
Efficiently Inducing Features of Conditional Random Fields
Markov Random Walk Representations with Continuous Distributions
The Revisiting Problem in Mobile Robot Map Building: A Hierarchical Bayesian Approach
Riemannian Calculus of Variations using Strongly Typed Tensor Calculus
2012-12-07 Transient Reward Approximation for Grids, Crowds, and Viruses
Autonomous Navigation by Robust Scan Matching Technique
Physics inspired algorithms for (co)homology computation -- orders of magnitudes speedups, applications in computer vision + robot motion planning, and a "mild introduction to algebraic topology"
2012-12-05 Influence Maximization in Social Networks: Towards an Optimal Algorithmic Solution
Unmixing of Hyperspectral Data Using Robust Statistics-based NMF
An Intuitive Approach to Inertial Sensor Bias Estimation
Advances in Optimizing Recurrent Networks
Cost-Sensitive Support Vector Machines
A Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market
Modeling Movements in Oil, Gold, Forex and Market Indices using Search Volume Index and Twitter Sentiments
Spectral properties of Google matrix of Wikipedia and other networks
Kernel Estimation from Salient Structure for Robust Motion Deblurring
Hidden Markov Estimation of Bistatic Range From Cluttered Ultra-wideband Impulse Responses
Twitter Sentiment Analysis: How To Hedge Your Bets In The Stock Markets
Using Wikipedia to Boost SVD Recommender Systems
Multiscale Markov Decision Problems: Compression, Solution, and Transfer Learning <======
The Synchrosqueezing algorithm for time-varying spectral analysis: robustness properties and new paleoclimate applications
Fast approximation of matrix coherence and statistical leverage
Evaluation of Particle Swarm Optimization Algorithms for Weighted Max-Sat Problem: Technical Report
Training Support Vector Machines Using Frank-Wolfe Optimization Methods
How many vertex locations can be arbitrarily chosen when drawing planar graphs? -- with O(N) drawing algorithms.
A Topological Code for Plane Images
Towards Physarum Engines -- programmable jello! :-)
Separate Training for Conditional Random Fields Using Co-occurrence Rate Factorization
Dynamic Range Majority Data Structures
2012-12-04 Viewpoint Invariant Object Detector
Fingertip Detection: A Fast Method with Natural Hand
Pedestrian Detection with Unsupervised Multi-Stage Feature Learning (replaced 2013-04-03)
Message-Passing Algorithms for Quadratic Minimization
An Image Based Technique for Enhancement of Underwater Images
Replica placement for p2p redundant data storage on unreliable, non-dedicated machines
Time series forecasting: model evaluation and selection using nonparametric risk bounds
2012-11-27 Shadows and headless shadows: a worlds-based, autobiographical approach to reasoning, also Modeling problems of identity in Little Red Riding Hood
Texture Modeling with Convolutional Spike-and-Slab RBMs and Deep Extensions for texture synthesis and inpainting.
Detection of elliptical shapes via cross-entropy clustering
An Automatic Algorithm for Object Recognition and Detection Based on ASIFT Keypoints
Random Projections for Support Vector Machines
Optimizing Synchronization Algorithm for Auto-parallelizing Compiler
Life of an instruction in LLVM -- (courtesy of Dr Christoph Engeman -- thanks!
Design of Calibration Experiments for Identification of Manipulator Elastostatic Parameters
Automatic Verification of Message-Based Device Drivers
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
Static Analysis of Lockless Microcontroller C Programs
2012-11-26 Memoization technique for optimizing functions with stochastic input
Optimally fuzzy scale-free memory <======== Design Of A Reconfigurable DSP Processor With Bit Efficient Residue Number System
Optimal design of PID controllers using the QFT method
Smoothed particule hydrodynamics
<=====
2012-11-21 Matching Through Features and Features Through Matching
How Specifications Change and Why You Should Care
Can We Reconcile Robustness and Efficiency in Unsupervised Learning?
Mahotas: Open source software for scriptable computer vision
2012-11-19 Unified Form Language: A domain-specific language for weak formulations of partial differential equations with implementation as open source library
A survey of loop invariants
Dynamic Facial Expression of Emotion Made Easy
Numerical comparison of different algorithms for construction of wavelet matrices
Hash in a Flash: Hash Tables for Solid State Devices
Applying Dynamic Model for Multiple Manoeuvring Target Tracking Using Particle Filtering
Reducing Higher Order Pi-Calculus to Spatial Logics
Compact Support Biorthogonal Wavelet Filterbanks for Arbitrary Undirected Graphs
Faster Approximation of Max Flow for Directed Graphs
2012-11-19 Recursive Robust PCA or Recursive Sparse Recovery in Large but Structured Noise
Visual Recognition of Isolated Swedish Sign Language Signs
Lasso Screening Rules via Dual Polytope Projection
Monte Carlo Search Algorithm Discovery for One Player Games <=====
2012-11-16 Simpler and Faster Lempel Ziv Factorization
Code Density Concerns for New Architectures
2012-11-12 Comparison of OpenMP & OpenCL Parallel Processing Technologies
3D Surface Reconstruction of Underwater Objects -- graph cut rides again!
2012-11-09 S2LET: A code to perform fast wavelet analysis on the sphere
Learning Monocular Reactive UAV Control in Cluttered Natural Environments
Optimal Auctions via the Multiplicative Weight Method
Blind Signal Separation in the Presence of Gaussian Noise
Linear Antenna Array with Suppressed Sidelobe and Sideband Levels using Time Modulation
3D Scene Grammar for Parsing RGB-D Pointclouds
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
Fourier-Bessel rotational invariant eigenimages
2012-11-06 From Bits to Images: Inversion of Local Binary Descriptors
Ball Striking Algorithm for a 3 DOF Ping-Pong Playing Robot Based on Particle Swarm Optimization
Derivation of fast DCT algorithms using algebraic technique based on Galois theory
A fast branching algorithm for unknot recognition with experimental polynomial-time behaviour
2012-11-02 Signal Processing on Graphs: Extending High-Dimensional Data Analysis to Networks and Other Irregular Data Domains
Dimensionality Reduction and Classification Feature Using Mutual Information Applied to Hyperspectral Images: A Wrapper Strategy Algorithm Based on Minimizing the Error Probability Using the Inequality of Fano
Improving the Numerical Robustness of Sphere Swept Collision Detection
Randomness and Non-determinism
Transition-Based Dependency Parsing With Pluggable Classifiers
Harmonious Hilbert curves and other extradimensional space-filling curves -- now with rotational statistical invariance.
Performance Evaluation of Random Set Based Pedestrian Tracking Algorithms -- fun with HOGs (Histograms of Oriented Gradients).
Feedback from nature: an optimal distributed algorithm for maximal independent set selection
2012-10-28 Modified Rice-Golomb Code for Predictive Coding of Integers with Real-valued Predictions
Measure What Should be Measured: Progress and Challenges in Compressive Sensing
Formally Checking Large Data Sets in the Railways -- keeping trains on time and not colliding in real-world practice. O(100,000) lines of Ada, O(100,000) Excel cells, O(1000) datavalue constraints.
2012-10-27 Clustering hidden Markov models with variational HEM
Extended object reconstruction in adaptive-optics imaging: the multiresolution approach
Nested Hierarchical Dirichlet Processes
2012-10-23 Novel Architecture for 3D model in virtual communities from detected face
Fast Exact Max-Kernel Search: "up to 4 orders of magnitude speedup"
MLPACK: A Scalable C++ Machine Learning Library
High quality topic extraction from business news explains abnormal financial market volatility.
Motion Estimation and Imaging of Complex Scenes with Synthetic Aperture Radar
2012-10-19 Designing Informative Securities -- extracting information from prediction markets.
Leveraging Side Observations in Stochastic Bandits
Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference
An Efficient Message-Passing Algorithm for the M-Best MAP Problem
Deterministic MDPs with Adversarial Rewards and Bandit Feedback
Exploiting Uniform Assignments in First-Order MPE
Budget Optimization for Sponsored Search: Censored Learning in MDPs
Uncertain Congestion Games with Assorted Human Agent Populations in the context of "the bounded rationality of humans" -- delightful euphemism!
Semantic Understanding of Professional Soccer Commentaries
Exploiting compositionality to explore a large space of model structures -- "It learns sensible structures for datasets as diverse as image patches, motion capture, 20 Questions, and U.S. Senate votes, all using exactly the same code."
Sample-efficient Nonstationary Policy Evaluation for Contextual Bandits
DBN-Based Combinatorial Resampling for Articulated Object Tracking
Lifted Relational Variational Inference
Response Aware Model-Based Collaborative Filtering
Crowdsourcing Control: Moving Beyond Multiple Choice
Active Imitation Learning via Reduction to I.I.D. Active Learning
Tightening Fractional Covering Upper Bounds on the Partition Function for High-Order Region Graphs
A Maximum Likelihood Approach For Selecting Sets of Alternatives
A Model-Based Approach to Rounding in Spectral Clustering
A Spectral Algorithm for Latent Junction Trees
Hilbert Space Embeddings of POMDPs
Learning STRIPS Operators from Noisy and Incomplete Observations
The Complexity of Approximately Solving Influence Diagrams
Hokusai - Sketching Streams in Real Time
Unsupervised Joint Alignment and Clustering using Bayesian Nonparametrics
Bayesian Vote Manipulation: Optimal Strategies and Impact on Welfare
Belief Propagation for Structured Decision Making
Fast Exact Inference for Recursive Cardinality Models
Probability and Asset Updating using Bayesian Networks for Combinatorial Prediction Markets
Efficiently Searching for Frustrated Cycles in MAP Inference ... stereo vision.
Active Learning with Distributional Estimates
New Advances and Theoretical Insights into EDML
Multi-objective Influence Diagrams
FHHOP: A Factored Hybrid Heuristic Online Planning Algorithm for Large POMDPs
Fast Graph Construction Using Auction Algorithm
Several AES Variants under VHDL language In FPGA ... for Cyclone III + Stratix :-)
From Regexes to Parsing Expression Grammars -- extended regexes as wimpy grammars.
An Improved Lower Bound of The Spark With Application
Creating a level playing field for all symbols in a discretization
Approximate Maximum Flow on Separable Undirected Graphs
An Approximate Solution Method for Large Risk-Averse Markov Decision Processes and portfolio optimization.
Representation Learning: A Review and New Perspectives
2012-10-15 A polygon-based interpolation operator for super-resolution imaging
Notes on image annotation -- a domain expert reflects on her experiences.
Simple and Nearly Optimal Multi-Item Auctions
Adaptive Quantizers for Estimation
Pattern matching in compilers
2012-10-10 Quick Search for Rare Events
Simulated Tom Thumb, the Rule Of Thumb for Autonomous Robots
A General Methodology for the Determination of 2D Bodies Elastic Deformation Invariants. Application to the Automatic Identification of Parasites
Deconvolving Images with Unknown Boundaries Using the Alternating Direction Method of Multipliers
On Online Labeling with Polynomially Many Labels
Fitness Landscape-Based Characterisation of Nature-Inspired Algorithms
Multi-threaded ASP Solving with clasp
Detecting dense communities in large social and information networks with the Core & Peel algorithm
Enhanced Compressed Sensing Recovery with Level Set Normals with applications to image processing.
Unsupervised Detection and Tracking of Arbitrary Objects with Dependent Dirichlet Process Mixtures
Locality-Sensitive Hashing with Margin Based Feature Selection
2012-10-06 Learning Human Activities and Object Affordances from RGB-D Videos
Unfolding Latent Tree Structures using 4th Order Tensors
On-line construction of position heaps
2012-09-29 Face Alignment Using Active Shape Model And Support Vector Machine
2012-10-03 Band Selection and Classification of Hyperspectral Images using Mutual Information: An algorithm based on minimizing the error probability using the inequality of Fano
Planar shape manipulation using approximate geometric primitives
Schrƶdinger Diffusion for Shape Analysis with Texture
Control Design along Trajectories with Sums of Squares Programming
A fast compression-based similarity measure with applications to content-based image retrieval
2012-09-24 Geometric simulation of optimal tool paths in three-axis milling
Evaluating and Designing Software Mutual Exclusion Algorithms on Shared-Memory Multiprocessors -- see also Mutual exclusion on wikipedia and the Black-White Bakery Algorithm
A Bayesian Nonparametric Approach to Image Super-resolution
Image Classification and Optimized Image Reproduction
Making a Science of Model Search
Julia: A Fast Dynamic Language for Technical Computing
On Move Pattern Trends in a Large Go Games Corpus
Towards Large-scale and Ultrahigh Dimensional Feature Selection via Feature Generation
BPRS: Belief Propagation Based Iterative Recommender System
Balanced Allocations and Double Hashing
Model-free multiclass conditional probability estimation via quantile regression
The Evolutionary Robustness of Forgiveness and Cooperation
2012-09-22 Four Soviets Walk the Dog - with an Application to Alt's Conjecture -- computing similarity of 2-D curves in less than quadratic time.
Strongly Convex Programming for Principal Component Pursuit
Head Frontal-View Identification Using Extended LLE
An Efficient Color Face Verification Based on 2-Directional 2-Dimensional Feature Extraction
Speech Signal Filters based on Soft Computing Techniques: A Comparison
Sparsification of Motion-Planning Roadmaps by Edge Contraction
Performance Analysis of Hybrid Forecasting Model In Stock Market Forecasting
2012-09-18 Thompson Sampling for Contextual Bandits with Linear Payoffs and Further Optimal Regret Bounds for Thompson Sampling
PaxosLease: Diskless Paxos for Leases
QuickHeapsort: Modifications and improved analysis
Edge Routing with Ordered Bundles -- reducing visual clutter in onscreen graph layout.
Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework
Image Super-Resolution via Sparse Bayesian Modeling of Natural Images
2012-09-15 Hierarchical Digital Image Inpainting Using Wavelets
A Novel Approach of Harris Corner Detection of Noisy Images using Adaptive Wavelet Thresholding Technique
A Hajj And Umrah Location Classification System For Video Crowded Scenes
An FMM Based on Dual Tree Traversal for Many-core Architectures -- N-body stuff.
2012-09-13 Wavelet Based Image Coding Schemes : A Recent Survey
Internal joint forces in dynamics of a 3-PRP planar parallel robot
Effect of interaction strength on the evolution of cooperation
Probabilities on Sentences in an Expressive Logic
Simplifying Contract-Violating Traces
NetSimile: A Scalable Approach to Size-Independent Network Similarity
Regret Bounds for Restless Markov Bandits
Visual Tracking with Similarity Matching Ratio
Linear Time Algorithm for Projective Clustering
2012-09-01 Design of Low Noise Amplifiers Using Particle Swarm Optimization
Efficient Touch Based Localization through Submodularity
Robustness Checking against TSO: Attacks and Defence
Link Prediction via Generalized Coupled Tensor Factorisation
The Boost.Build System
Conflict Anticipation in the Search for Graph Automorphisms and Graph Symmetry Detection and Canonical Labeling: Differences and Synergies
2012-08-26 A Type-Safe Model of Adaptive Object Groups
Parameterized Concurrent Multi-Party Session Types
A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System
Monte Carlo Search Algorithm Discovery for One Player Games
Monte Carlo Search Algorithm Discovery for One Player Games
Segmenting Intracellular Distribution Images Derived by Fluorescent Dyes Using a Potts Model Hamiltonian
Split and Join: Strong Partitions and Universal Steiner Trees for Graphs
2012-07-21 Quick HyperVolume
Local stability of Belief Propagation algorithm with multiple fixed points
Recovering Epipolar Geometry from Images of Smooth Surfaces
Thompson Sampling: An Asymptotically Optimal Finite Time Analysis with applications to multi-arm bandits.
2012-07-01 Residual Belief Propagation: Informed Scheduling for Asynchronous Message Passing
Visualization of Collaborative Data
Bayesian Multicategory Support Vector Machines
Efficient Selection of Disambiguating Actions for Stereo Vision
Faster Geometric Algorithms via Dynamic Determinant Computation
2012-06-23 A Unified Robust Classification Model: unifying SVM, MPM (minimax probability machine), and FDA (Fisher discriminant analysis).
Convex Multitask Learning with Flexible Task Clusters
Quasi-Newton Methods: A New Direction
Learning the Experts for Online Sequence Prediction
Clustering to Maximize the Ratio of Split to Diameter with applications to image segmentation.
On multi-view feature learning
Improved Information Gain Estimates for Decision Tree Induction
On-Line Portfolio Selection with Moving Average Reversion
Robust PCA in High-dimension: A Deterministic Approach
Efficient Decomposed Learning for Structured Prediction
Artist Agent: A Reinforcement Learning Approach to Automatic Stroke Generation in Oriental Ink Painting
Total Variation and Euler's Elastica for Supervised Learning with applications to image denoising and inpainting.
Lightning Does Not Strike Twice: Robust MDPs with Coupled Uncertainty
Learning Efficient Structured Sparse Models -- "several orders of magnitude speedup"
The Most Persistent Soft-Clique in a Set of Sampled Graphs
A Generalized Loop Correction Method for Approximate Inference in Graphical Models -- latest tweak to Belief Propagation (BP).
Machine Learning that Matters -- nontechnical meta-critique.
Approximate Principal Direction Trees
Efficient Active Algorithms for Hierarchical Clustering
Linear Regression with Limited Observation
A Pointillism Approach for Natural Language Processing of Social Media
2012-06-20 Residual Component Analysis: Generalising PCA for more flexible inference in linear-Gaussian models
2012-06-16 Practical Bayesian Optimization of Machine Learning Algorithms
A comparison of CPU and GPU performance for Fourier pseudospectral simulations of the Navier-Stokes, Cubic Nonlinear Schrödinger and Sine Gordon Equations
2012-06-11 Dimension Reduction by Mutual Information Discriminant Analysis
Dimension Independent Similarity Computation for cosine, dice, overlap, conditional and jaccard similarity measures.
Manipulation and Control Complexity of Schulze Voting
An information-theoretic proof of Nash's inequality
Reachability-based Acyclicity Analysis by Abstract Interpretation with applications to compilers and programming languages.
Q-STAR:A Perceptual Video Quality Model Considering Impact of Spatial, Temporal, and Amplitude Resolutions
Minimizing a sum of submodular functions -- by Vladimir Kolmogorov, applications to image segmentation and other computer vision problems.
The multi-armed bandit problem with covariates
Multi-timescale Nexting in a Reinforcement Learning Robot
High-Dimensional Feature Selection by Feature-Wise Non-Linear Lasso
On the Necessity of Irrelevant Variables
Towards a Mathematical Theory of Super-Resolution
OCT Segmentation Survey and Summary Reviews and a Novel 3D Segmentation Algorithm and a Proof of Concept Implementation
2012-06-08 Visualization in Connectomics -- displaying the brain's wiring.
Optimizing Face Recognition Using PCA
Self-healing Deterministic Expanders -- design of robust P2P (etc) networks
Architecture for real time continuous sorting on large width data volume for FPGA based applications
Simple and Deterministic Matrix Sketching with applications including PCA
2012-06-04 The Use of Self Organizing Map Method and Feature Selection in Image Database Classification System
OpenGM: A C++ Library for Discrete Graphical Models
Pipelining the Fast Multipole Method over a Runtime System
ACME vs PDDL: support for dynamic reconfiguration of software architectures
Efficient techniques for mining spatial databases featuring new self-tuning clustering algorithms.
Image Filtering using All Neighbor Directional Weighted Pixels: Optimization using Particle Swarm Optimization
LR(1) Parser Generation System: LR(1) Error Recovery, Oracles, and Generic Tokens -- open-source LR(1) in the time and space of LALR(1)?!
2012-06-02 Fast reconstruction of phylogenetic trees using locality-sensitive hashing
The Pros and Cons of Compressive Sensing for Wideband Signal Acquisition: Noise Folding vs. Dynamic Range incorporating a "detailed engineer's guide to compressive sensing"
Compressive binary search for the lone nonzero entry in a high-dimensional vector.
Generalized sequential tree-reweighted message passing -- Vladimir Kolmogorov
2012-05-30 Towards Bounded Infeasible Code Detection
A Brief Summary of Dictionary Learning Based Approach for Classification (revised)
An Unsupervised Dynamic Image Segmentation using Fuzzy Hopfield Neural Network based Genetic Algorithm
Template-Cut: A Pattern-Based Segmentation Paradigm
MIPS code compression -- improving bzip by segmenting into multiple streams.
Boosting Moving Object Indexing through Velocity Partitioning
Challenging the Long Tail Recommendation -- recommending rare items.
Fingerprint Gender Classification using Wavelet Transform and Singular Value Decomposition
Finding Important Genes from High-Dimensional Data: An Appraisal of Statistical Tests and Machine-Learning Approaches
2012-05-25 Modular Session Types for Objects
Linearized Alternating Direction Method with Adaptive Penalty and Warm Starts for Fast Solving Transform Invariant Low-Rank Textures
A hybrid clustering algorithm for data mining -- straddling the fence between K-mean and K-harmonic mean.
Language-Constraint Reachability Learning in Probabilistic Graphs
FASTSUBS: An Efficient Admissible Algorithm for Finding the Most Likely Lexical Substitutes Using a Statistical Language Model
Locally Orderless Registration of medical images.
Improved Implementation of Point Location in General Two-Dimensional Subdivisions in the Computational Geometry Algorithms Library CGAL.
Optimization of Convex Functions with Random Pursuit
Sharing a Sequential Program: Correctness and Concurrency Analysis
2012-05-18 Graph Coloring Algorithms for Muti-core and Massively Multithreaded Architectures
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
Accurate 3D maps from depth images and motion sensors via nonlinear Kalman filtering
Revisiting Homomorphic Wavelet Estimation and Phase Unwrapping
Blind Deconvolution of Ultrasonic Signals Using High-Order Spectral Analysis and Wavelets
Efficient Topology-Controlled Sampling of Implicit Shapes
Asymptotically Optimal Algorithm for Short-Term Trading Based on the Method of Calibration
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 (replaced 2012-05-18)
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.
2012-12-06: 10" rotary table from grizzly $385; $464 with freight incl.
Grizzly H5685 4" Rotary Table w/ Clamps -- $110 on amazon
Sherline CNC-ready rotary table $320
Sherline 3-Axis CNC Upgrade Kit for 5000 Series Vertical Milling Machines -- $800 from robotshop.
Shereline/Tabletop CNC kits from flashcut CNC
CNC 4 Axis Stepper Motor Kit from kelinginc.net -- I really like the look of these guys. <============
Xylotex Sherline/Taig/... stepper+drivebox kits -- these guys look good too.
Sherline lathe etc kits from microkinetics -- be fun to undercut these guys.
Robotic Arms (toyclass) at robotshop.com
CNC Sherline conversion thread on practicalmachinist.com
Hobby cad/cam software thread on cnczone 2009 (Basic story seems cad/cam software costs $20K and sucks.)
CAD/CAM comparison table (hungarian, undated)
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, 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