Sciweavers

676 search results - page 1 / 136
» A model and architecture for situation determination
Sort
View
CASCON
2006
127views Education» more  CASCON 2006»
13 years 6 months ago
A model and architecture for situation determination
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appro...
Graham Thomson, Sotirios Terzis, Paddy Nixon
PERCOM
2006
ACM
14 years 4 months ago
Situation Determination with Reusable Situation Specifications
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appr...
Graham Thomson, Sotirios Terzis, Paddy Nixon
IJCAI
1993
13 years 6 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
ATAL
2006
Springer
13 years 8 months ago
A model of emotions for situated agents
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 participa...
H. Van Dyke Parunak, Robert Bisson, Sven Brueckner...
IJUFKS
2000
68views more  IJUFKS 2000»
13 years 4 months ago
Non-Determinism and Uncertainty in the Situation Calculus
A novel approach is presented to modeling action and change within the Situation Calculus in the presence of both non-determinism and probabilistic behavior. Two examples are give...
Javier Pinto, Amílcar Sernadas, Cristina Se...