887 search results - page 109 / 178 » Representing Systems with Hidden State |
153
click to vote
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
164
click to vote
CLIMA
2004
15 years 5 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
123
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
We describe a method for computing the likelihood that a completion joining two contour fragments passes through any given position and orientation in the image plane, that is, a m...
217
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
Hardware cache behavior is an important factor in the performance of memory-resident, data-intensive systems such as XML filtering engines. A key data structure in several recent ...
117
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— Today, lightweight SLAM algorithms are needed in many embedded robotic systems. In this paper the Orthogonal SLAM (OrthoSLAM ) algorithm is presented and empirically validated....