5216 search results - page 1035 / 1044 » Planning as Model Checking |
USENIX
2007
15 years 20 days ago
2007
Monitoring and mining real-time network data streams is crucial for managing and operating data networks. The information that network operators desire to extract from the network...
80
Voted
CIKM
2008
Springer
15 years 9 days ago
2008
Springer
Based on the important progresses made in information retrieval (IR) in terms of theoretical models and evaluations, more and more attention has recently been paid to the research...
72
Voted
ATAL
2006
Springer
15 years 9 days ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...
129
Voted
HYBRID
2010
Springer
15 years 9 days ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
ECAI
2006
Springer
15 years 8 days ago
2006
Springer
Abstract. In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group ...