2036 search results - page 365 / 408 » From Sampling to Model Counting |
FMCAD
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
CIVR
2008
Springer
14 years 23 days ago
2008
Springer
In this paper we review the evaluation of relevance feedback methods for content-based image retrieval systems. We start out by presenting an overview of current common practice, ...
ICCV
2007
IEEE
14 years 22 days ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
EUROGP
2008
Springer
14 years 22 days ago
2008
Springer
We present PlasmidPL, a plasmid-inspired programming language designed for Genetic Programming (GP), and based on a chemical metaphor. The basic data structures in PlasmidPL are ci...
IE
2007
14 years 16 days ago
2007
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...