8413 search results - page 386 / 1683 » Ordering Problem Subgoals |
171
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
132
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
Sequential Data This paper is about the unsuperviseddiscovery of patterns in sequencesof compositeobjects. A compositeobject may be describedas a sequenceof other, simpler data. In...
150
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, a novel artificial potential function is proposed for planning the path of a robotic sensor in a partially observed environment containing multiple obstacles and mul...
145
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- The subject area of this paper is discrete-time linear time-invariant systems composed of subsystems whose state updating is asynchronous due to the clock signal arrivin...
212
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...