2335 search results - page 304 / 467 » Type Checking Type Classes |
105
click to vote
IJCV
2008
15 years 24 days ago
2008
We present an unsupervised approach for learning a generative layered representation of a scene from a video for motion segmentation. The learnt model is a composition of layers, ...
IANDC
2006
15 years 24 days ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
91
Voted
COMBINATORICS
2007
15 years 24 days ago
2007
There are many applications of the enumeration of maps in surfaces to other areas of mathematics and the physical sciences. In particular, in quantum field theory and string theo...
CSDA
2007
15 years 23 days ago
2007
Recently, there has been a considerable interest in finite mixture models with semi-/non-parametric component distributions. Identifiability of such model parameters is generall...
DKE
2007
15 years 23 days ago
2007
In our days knowledge extraction methods are able to produce artifacts (also called patterns) that concisely represent data. Patterns are usually quite heterogeneous and require a...