437 search results - page 35 / 88 » Models and the locus of their truth |
APPROX
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Motivated by an open problem recently suggested by Goldreich et al., we study truthful implementations of a random binary function supporting compound XOR queries over su...
ISSS
2000
IEEE
13 years 12 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
NIPS
2008
13 years 9 months ago
2008
In this paper we propose a new incremental spike sorting model that automatically eliminates refractory period violations, accounts for action potential waveform drift, and can ha...
CATA
2006
13 years 9 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
IMAGING
2004
13 years 9 months ago
2004
Image-based appearance acquisition algorithms are able to generate realistic 3D models of real objects but have previously not taken care of calibrated color space. We integrate a...