Sciweavers

7296 search results - page 1416 / 1460
» informs 2010
Sort
View
GIS
2010
ACM
14 years 8 months ago
Decentralized querying of topological relations between regions without using localization
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
Matt Duckham, Myeong Hun Jeong, Sanjiang Li, Joche...
IANDC
2010
84views more  IANDC 2010»
14 years 8 months ago
Underapproximation for model-checking based on universal circuits
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit de...
Arie Matsliah, Ofer Strichman
ICMLC
2010
Springer
14 years 8 months ago
Initiated language learning machine with multi-media and speech-recognition techniques
: Facing the 21st century the age of exploration-increasing of all kinds of knowledge and quickly development of information, how to promote the competition potential of our citize...
Dong-Liang Lee, Chun-Liang Hsu, Sheng-Yuan Yang, W...
ICRA
2010
IEEE
301views Robotics» more  ICRA 2010»
14 years 8 months ago
People tracking with human motion predictions from social forces
Abstract— For many tasks in populated environments, robots need to keep track of present and future motion states of people. Most approaches to people tracking make weak assumpti...
Matthias Luber, Johannes Andreas Stork, Gian Diego...
ICRA
2010
IEEE
104views Robotics» more  ICRA 2010»
14 years 8 months ago
Using model knowledge for learning inverse dynamics
— In recent years, learning models from data has become an increasingly interesting tool for robotics, as it allows straightforward and accurate model approximation. However, in ...
Duy Nguyen-Tuong, Jan Peters
« Prev « First page 1416 / 1460 Last » Next »