Sciweavers

3168 search results - page 221 / 634
» Neutrosophic Relational Data Model
Sort
View
IROS
2007
IEEE
162views Robotics» more  IROS 2007»
15 years 11 months ago
Genetic MRF model optimization for real-time victim detection in search and rescue
— One primary goal in rescue robotics is to deploy a team of robots for coordinated victim search after a disaster. This requires robots to perform subtasks, such as victim detec...
Alexander Kleiner, Rainer Kümmerle
MEMOCODE
2006
IEEE
15 years 11 months ago
Mixed symbolic representations for model checking software programs
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivanc...
SIGIR
2006
ACM
15 years 11 months ago
User modeling for full-text federated search in peer-to-peer networks
User modeling for information retrieval has mostly been studied to improve the effectiveness of information access in centralized repositories. In this paper we explore user model...
Jie Lu, James P. Callan
OTM
2005
Springer
15 years 11 months ago
Modelling Context Information with ORM
Context-aware applications rely on implicit forms of input, such as sensor-derived data, in order to reduce the need for explicit input from users. They are especially relevant for...
Karen Henricksen, Jadwiga Indulska, Ted McFadden
IJRR
2002
137views more  IJRR 2002»
15 years 5 months ago
Acquisition of Elastic Models for Interactive Simulation
We present method and implementation to acquire deformable models of elastic objects. The method is based on the Green's functions matrix representation of an elastic solid. ...
Jochen Lang, Dinesh K. Pai, Robert J. Woodham