149 search results - page 24 / 30 » Symbolic Modeling and Evaluation of Data Paths |
108
Voted
IBERAMIA
2010
Springer
14 years 8 months ago
2010
Springer
Several methods have been developed for face detection with certain success, however these tend to fail under difficult conditions such as partial occlusions and changes in orienta...
123
click to vote
INFOCOM
2010
IEEE
14 years 7 months ago
2010
IEEE
Traditional wireless broadcast protocols rely heavily on the 802.11-based CSMA/CA model, which avoids interference and collision by conservatively scheduling transmissions. While C...
103
click to vote
LICS
2007
IEEE
15 years 3 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
86
Voted
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— Mobile robots have to detect and handle a variety of potential hazards to navigate autonomously. We present a real-time stereo vision based mapping algorithm for identifying an...
GIS
2009
ACM
15 years 2 months ago
2009
ACM
This paper looks at the problem of data prioritization, commonly found in mobile ad-hoc networks. The proposed general solution uses a machine learning approach in order to learn ...