Sciweavers

319 search results - page 33 / 64
» Criteria for the verification of feature models
Sort
View
GISCIENCE
2010
Springer
215views GIS» more  GISCIENCE 2010»
14 years 10 months ago
Microtheories for Spatial Data Infrastructures - Accounting for Diversity of Local Conceptualizations at a Global Level
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
Stephanie Duce, Krzysztof Janowicz
SEKE
2010
Springer
14 years 7 months ago
Specification patterns can be formal and still easy
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
Fernando Asteasuain, Víctor A. Braberman
CVPR
2006
IEEE
15 years 12 months ago
Unsupervised Bayesian Detection of Independent Motion in Crowds
While crowds of various subjects may offer applicationspecific cues to detect individuals, we demonstrate that for the general case, motion itself contains more information than p...
Gabriel J. Brostow, Roberto Cipolla
ICIP
2001
IEEE
15 years 11 months ago
VISMap: an interactive image/video retrieval system using visualization and concept maps
Images and videos can be indexed by multiple features at different levels, such as color, texture, motion, and text annotation. Organizing this information into a system so that u...
William Chen, Shih-Fu Chang
ICCV
1995
IEEE
15 years 1 months ago
Locating Objects Using the Hausdorff Distance
The Hausdorff distance is a measure defined between two point sets, here representing a model and an image. The Hausdorff distance is reliable even when the image contains multipl...
William Rucklidge