Sciweavers

3235 search results - page 288 / 647
» Partial Redundant Modeling
Sort
View
BMCV
2000
Springer
15 years 11 months ago
Towards a Computational Model for Object Recognition in IT Cortex
First IEEE International Workshop on Biologically Motivated Computer Vision, Seoul, Korea (May 2000). There is considerable evidence that object recognition in primates is based o...
David G. Lowe
SOFSEM
1998
Springer
15 years 11 months ago
Some Results on the Modelling of Spatial Data
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
Luca Forlizzi, Enrico Nardelli
ICRA
1993
IEEE
147views Robotics» more  ICRA 1993»
15 years 10 months ago
Towards Sonar Based Perception and Modelling for Unmanned Untethered Underwater Vehicles
The ability to automatically generate internal models from sensed data will be of critical importance in the development of flexible, adaptive and useful unmanned underwater vehic...
B. Steer, J. Kloske, P. Garner, L. LeBlanc, S. Sch...
205
Voted
SPIN
2000
Springer
15 years 10 months ago
Model Checking Based on Simultaneous Reachability Analysis
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
Bengi Karaçali, Kuo-Chung Tai
ATAL
2008
Springer
15 years 8 months ago
Semantic matchmaking of web services using model checking
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
Akin Günay, Pinar Yolum