Sciweavers

8468 search results - page 1484 / 1694
» Intelligent agents in e-services
Sort
View
ATAL
2005
Springer
15 years 11 months ago
Bounded model checking for knowledge and real time
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
CCIA
2005
Springer
15 years 11 months ago
Acquiring Unobtrusive Relevance Feedback through Eye-Tracking in Ambient Recommender Systems
Acquiring relevant information to keep user’s preferences up-to-date is crucial in recommender systems in order to close the cycle of recommendations. Ambient Intelligence is a s...
Gustavo González, Beatriz López, Cec...
CEEMAS
2005
Springer
15 years 11 months ago
A Multi-agent System Architecture for the Adaptation of User Interfaces
Nowadays the design of user interfaces has become a discipline of great importance in Software Engineering, mainly due to the increasing impact that a high quality user interface h...
Víctor López-Jaquero, Francisco Mont...
DAMAS
2005
Springer
15 years 11 months ago
Representing Dispositions and Emotions in Simulated Combat
ct Emotion is an essential element of human behavior. Particularly in stressful situations such as combat, it is at least as important as rational analysis in determining a partici...
H. Van Dyke Parunak, Robert Bisson, Sven Brueckner...
MICAI
2005
Springer
15 years 11 months ago
Maximizing Future Options: An On-Line Real-Time Planning Method
Abstract. In highly dynamic environments with uncertainty the elaboration of long or rigid plans is useless because the constructed plans are frequently dismissed by the arrival or...
Ramón F. Brena, Emmanuel Martinez
« Prev « First page 1484 / 1694 Last » Next »