Sciweavers

1120 search results - page 113 / 224
» A Formal Framework for Interactive Agents
Sort
View
CORR
2011
Springer
173views Education» more  CORR 2011»
14 years 5 months ago
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
VRST
1999
ACM
15 years 2 months ago
Testbed evaluation of virtual environment interaction techniques
As immersive virtual environment (VE) applications become more complex, it is clear that we need a rm understanding of the principles of VE interaction. In particular, designers n...
Doug A. Bowman, Donald B. Johnson, Larry F. Hodges
CLEIEJ
2006
88views more  CLEIEJ 2006»
14 years 10 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
AAAI
1997
14 years 11 months ago
Benefits of Learning in Negotiation
Negotiation has been extensively discussed in gametheoretic, economic, and management science literatures for decades. Recent growing interest in electronic commerce has given inc...
Dajun Zeng, Katia P. Sycara
RAS
2007
169views more  RAS 2007»
14 years 9 months ago
Decentralized cooperative control of heterogeneous vehicle groups
We coordinate in discrete time the interaction of two heterogeneous groups of mobile agents: a group of ground vehicles (ugvs) and a group of aerial vehicles (uavs). The ground ag...
Herbert G. Tanner, D. K. Christodoulakis