1271 search results - page 110 / 255 » On Simulation-Checking with Sequential Systems |
PODS
2005
ACM
14 years 10 months ago
2005
ACM
We consider a scenario where we want to query a large dataset that is stored in external memory and does not fit into main memory. The most constrained resources in such a situati...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
CVPR
2007
IEEE
15 years 13 days ago
2007
IEEE
We present a novel 3D scanning system combining stereo and active illumination based on phase-shift for robust and accurate scene reconstruction. Stereo overcomes the traditional ...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
In this paper, we discuss a Distributed Monte Carlo (DMC) tracking method which achieves real-time and accurate face tracking for wearable active vision systems. The DMC is an ext...
ICML
2009
IEEE
14 years 11 months ago
2009
IEEE
We show how variational Bayesian inference can be implemented for very large generalized linear models. Our relaxation is proven to be a convex problem for any log-concave model. ...