Sciweavers

7978 search results - page 1374 / 1596
» Representation before computation
Sort
View
EWSN
2009
Springer
16 years 1 months ago
DHV: A Code Consistency Maintenance Protocol for Multi-hop Wireless Sensor Networks
Ensuring that every sensor node has the same code version is challenging in dynamic, unreliable multi-hop sensor networks. When nodes have different code versions, the network may...
Thanh Dang, Nirupama Bulusu, Wu-chi Feng, Seungweo...
FOSSACS
2009
Springer
16 years 1 months ago
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
Christopher Broadbent, C.-H. Luke Ong
ICDAR
2009
IEEE
16 years 1 months ago
Graphic Symbol Recognition Using Graph Based Signature and Bayesian Network Classifier
We present a new approach for recognition of complex graphic symbols in technical documents. Graphic symbol recognition is a well known challenge in the field of document image an...
Muhammad Muzzamil Luqman, Thierry Brouard, Jean-Yv...
ICRA
2009
IEEE
130views Robotics» more  ICRA 2009»
16 years 1 months ago
Qualitative robot localisation using information from cast shadows
— Recently, cognitive psychologists and others have turned their attention to the formerly neglected study of shadows, and the information they purvey. These studies show that th...
Paulo Santos, Hannah M. Dee, Valquiria Fenelon
ICRA
2009
IEEE
137views Robotics» more  ICRA 2009»
16 years 1 months ago
Multiple-model RANSAC for ego-motion estimation in highly dynamic environments
Abstract— Robust ego-motion estimation in urban environments is a key prerequisite for making a robot truly autonomous, but is not easily achievable as there are two motions invo...
Shao-Wen Yang, Chieh-Chih Wang
« Prev « First page 1374 / 1596 Last » Next »