5525 search results - page 739 / 1105 » Verification of Model Transformations |
222
click to vote
KES
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
210
click to vote
CF
2004
ACM
16 years 9 days ago
2004
ACM
Pervasive computing applications allow users to access information from anywhere while traveling and using variety of devices. Heterogeneity and limitation of resources involved i...
200
click to vote
AIPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently, airborne video surveillance platforms have gained greater acceptance for use in a variety of DoD missions due to their utility, affordability and autonomy. While a varie...
206
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...
203
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper revisits the classical problem of detecting interest points, popularly known as "corners," in 2D images by proposing a technique based on fitting algebraic sh...