3820 search results - page 277 / 764 » Bounded Model Debugging |
171
click to vote
TIT
2010
14 years 10 months ago
2010
The plenoptic function (Adelson and Bergen, 91) describes the visual information available to an observer at any point in space and time. Samples of the plenoptic function (POF) a...
133
click to vote
FAABS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The task addressed here is a dynamic search through a bounded region, while avoiding multiple large obstacles, such as buildings. In the case of limited sensors and commu...
153
Voted
FSTTCS
1998
Springer
15 years 8 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
126
click to vote
ALT
2006
Springer
16 years 23 days ago
2006
Springer
A model for learning in the limit is defined where a (so-called iterative) learner gets all positive examples from the target language, tests every new conjecture with a teacher ...
138
click to vote
ADC
2006
Springer
15 years 9 months ago
2006
Springer
Many strategies for similarity search in image databases assume a metric and quadratic form-based similarity model where an optimal lower bounding distance function exists for fil...