3337 search results - page 114 / 668 » interactions 2006 |
APAL
2006
13 years 8 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
ENVSOFT
2006
13 years 8 months ago
2006
IGW is a software environment for real-time 2D and 3D groundwater modeling. The software functions as a ``numerical laboratory'' in which the modeler can freely explore:...
AVI
2006
13 years 9 months ago
2006
This paper presents new interaction techniques that use a laser pointer to directly manipulate applications displayed on a large screen. The techniques are based on goal crossing,...
CSREAEEE
2006
13 years 9 months ago
2006
- Web-based information systems (WBIS) include the website part and the system part, and easy-to-use website is particular critical to the success of WBIS. This paper argues that t...
ATAL
2006
Springer
13 years 12 months ago
2006
Springer
We present a method for transforming the infinite interactive state space of interactive POMDPs (I-POMDPs) into a finite one, thereby enabling the computation of exact solutions. ...