2036 search results - page 365 / 408 » From Sampling to Model Counting |
106
Voted
FMCAD
2000
Springer
15 years 4 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...
109
Voted
CIVR
2008
Springer
15 years 2 months 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, ...
129
click to vote
ICCV
2007
IEEE
15 years 2 months 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
15 years 2 months 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...
124
Voted
IE
2007
15 years 2 months 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...