7778 search results - page 121 / 1556 » Designing Controllers for Reachability |
140
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
111
click to vote
AAAI
2010
15 years 4 months ago
2010
This paper presents a novel recursive maximum a posteriori update for the Kalman formulation of undelayed bearing-only SLAM. The estimation update step is cast as an optimization ...
130
Voted
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
The design and implementation of a national computing system and data grid has become a reachable goal from both the computer science and computational science point of view. A di...
124
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
—In this paper, we describe a practical realization of an Internet-of-Things (IoT) architecture at the University of Padova, Italy. Our network spans the floors of different bui...
165
Voted
STTT
2010
15 years 1 months ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...