Sciweavers

93 search results - page 8 / 19
» The Projection Problem for EL Actions
Sort
View
IEAAIE
2011
Springer
12 years 11 months ago
Model Checking Commitment Protocols
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
ICASSP
2011
IEEE
12 years 11 months ago
Variational Bayesian Kalman filtering in dynamical tomography
The problem of dynamical tomography consists in reconstructing a temporal sequence of images from their noisy projections. For this purpose, a recursive algorithm is usually used,...
Boujemaa Ait-El-Fquih, Thomas Rodet
NLUCS
2004
13 years 9 months ago
A Text Mining Approach to Tracking Elements of Decision Making: a pilot study
Understanding rework, the causes of rework, and the relationship between issues, decisions and the associated actions, is crucial in minimizing the fundamental industrial problems ...
Caroline Chibelushi, Bernadette Sharp, Andy Salter
AAAI
2000
13 years 9 months ago
Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods
The main problem of planning is to find a sequence of actions that an agent must perform to achieve a given objective. An important part of planning is checking whether a given pl...
Raul Trejo, Vladik Kreinovich, Chitta Baral
CHI
2005
ACM
14 years 8 months ago
Intelligent lighting for a better gaming experience
Lighting assumes many aesthetic and communicative functions in game environments that affect attention, immersion, visibility, and emotions. Game environments are dynamic and high...
Magy Seif El-Nasr, Joseph A. Zupko, Keith Miron