Sciweavers

204 search results - page 24 / 41
» Abstract Simulators for the DSDE Formalism
Sort
View
ICTAI
2009
IEEE
15 years 6 months ago
Translation of an Argumentation Framework into a CP-Boolean Game
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
Elise Bonzon, Caroline Devred, Marie-Christine Lag...
ICRA
2007
IEEE
107views Robotics» more  ICRA 2007»
15 years 5 months ago
Optimal control subsumes harmonic control
Abstract— We consider trajectory planning within the frameworks of optimal control and harmonic control. We present a formal evidence, in the continuous domain and in a standard ...
Amine M. Boumaza, Bruno Scherrer
GW
2005
Springer
173views Biometrics» more  GW 2005»
15 years 4 months ago
Deixis: How to Determine Demonstrated Objects Using a Pointing Cone
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
Alfred Kranstedt, Andy Lücking, Thies Pfeiffe...
FORMATS
2004
Springer
15 years 4 months ago
Monitoring Temporal Properties of Continuous Signals
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
Oded Maler, Dejan Nickovic
KI
1997
Springer
15 years 3 months ago
Agents in Proactive Environments
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
Dov M. Gabbay, Rolf Nossum, Michael Thielscher