2836 search results - page 286 / 568 » Towards Hovering Information |
168
click to vote
CEEMAS
2003
Springer
16 years 1 days ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
180
click to vote
DFT
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
167
Voted
ICTAI
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents an approach to building plans using partially observable Markov decision processes. The approach begins with a base solution that assumes full observability. T...
174
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Natural, technological and man-made disasters are typically followed by chaos that results from an inadequate overall response. Three separate levels of coordination are addressed ...
159
click to vote
SSD
1995
Springer
15 years 10 months ago
1995
Springer
We present a data structure used to represent planar spatial databases in the topological data model. Conceptually, such databases consist of points, lines between these points, an...