5216 search results - page 861 / 1044 » Planning as Model Checking |
131
click to vote
MONET
2007
15 years 3 months ago
2007
This paper explores the potential for use of an unaugmented commodity technology—the mobile phone— as a health promotion tool. We describe a prototype application that tracks t...
124
click to vote
QUESTA
2007
15 years 3 months ago
2007
We propose a new queueing model named the acquisition queue. It differs from conventional queueing models in that the server not only serves customers, but also performs acquisit...
128
click to vote
ER
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We address the challenge of adaptation in open systems. Open systems are characterized by interactions among autonomous and heterogeneous participants. In such systems, e...
136
click to vote
PVLDB
2010
15 years 2 months ago
2010
Prediction is emerging as an essential ingredient for real-time monitoring, planning and decision support applications such as intrusion detection, e-commerce pricing and automate...
149
click to vote
TROB
2010
15 years 2 months ago
2010
Abstract—This paper presents a new methodology for the analysis and control of internal forces and center-of-mass (CoM) behavior, which are produced during multicontact interacti...