Sciweavers

13 search results - page 2 / 3
» Anchoring Symbols to Sensor Data: Preliminary Report
Sort
View
ICTAC
2005
Springer
15 years 3 months ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
ECAI
2010
Springer
14 years 9 months ago
Stream-Based Reasoning Support for Autonomous Systems
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
ICRA
2007
IEEE
184views Robotics» more  ICRA 2007»
15 years 3 months ago
Experimental Results in Synchronous-Clock One-Way-Travel-Time Acoustic Navigation for Autonomous Underwater Vehicles
— This paper reports recent experimental results in the development and deployment of a synchronous-clock acoustic navigation system suitable for the simultaneous navigation of m...
Ryan Eustice, Louis L. Whitcomb, Hanumant Singh, M...
ICCV
2003
IEEE
15 years 11 months ago
Counting People in Crowds with a Real-Time Network of Simple Image Sensors
Estimating the number of people in a crowded environment is a central task in civilian surveillance. Most vision-based counting techniques depend on detecting individuals in order...
Danny B. Yang, Héctor H. González-Ba...
SENSYS
2010
ACM
14 years 7 months ago
Evolution and sustainability of a wildlife monitoring sensor network
As sensor network technologies become more mature, they are increasingly being applied to a wide variety of applications, ranging from agricultural sensing to cattle, oceanic and ...
Vladimir Dyo, Stephen A. Ellwood, David W. Macdona...