4266 search results - page 287 / 854 » Search for More Declarativity |
170
click to vote
ICTAC
2009
Springer
15 years 4 months ago
2009
Springer
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
194
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. A tracking-by-detection framework is proposed that combines nearest-neighbor classification of bags of features, efficient subwindow search, and a novel feature selection...
291
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
We consider the problem of exploring the search tree of a CLP goal in pursuit of a target property. Essential to such a process is a method of tabling to prevent duplicate explorat...
184
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Dissimilarity measurement plays a crucial role in contentbased image retrieval. In this paper, sixteen core dissimilarity measures are introduced and evaluated. We carry out a sys...
175
click to vote
SISAP
2008
IEEE
16 years 1 months ago
2008
IEEE
Similarity search has been proved suitable for searching in very large collections of unstructured data objects. We are interested in efficient parallel query processing under si...