3207 search results - page 538 / 642 » A Semantics for HTN Methods |
152
Voted
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Uncertain data are inherent in many applications such as environmental surveillance and quantitative economics research. As an important problem in many applications, KNN query has...
142
click to vote
ICDE
2010
IEEE
16 years 23 days ago
2010
IEEE
— Many applications offer a form-based environment for na¨ıve users for accessing databases without being familiar with the database schema or a structured query language. User...
128
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. Context models ...
126
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Object recognition is challenging due to high intra-class
variability caused, e.g., by articulation, viewpoint changes,
and partial occlusion. Successful methods need to strike a...
131
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...