12981 search results - page 2467 / 2597 » Model Checking and Abstraction |
SBIA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Most of the work in machine learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
116
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Finding point correspondences plays an important role in automatically building statistical shape models from a training set of 3D surfaces. For the point correspondence ...
119
click to vote
ASAP
2003
IEEE
15 years 6 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
103
click to vote
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
Test is often seen as a necessary evil; it is a fact of life that ICs have manufacturing defects and those need to be filtered out by testing before the ICs are shipped to the cu...
109
click to vote
HPDC
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. We present PlanetP, a peer-to-peer (P2P) content search and retrieval infrastructure targeting communities wishing to share large sets of text documents. P2P computing is...