Sciweavers

292 search results - page 55 / 59
» Model-checking agent refinement
Sort
View
MABS
2004
Springer
14 years 22 days ago
Formal Analysis of Meeting Protocols
Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and mak...
Catholijn M. Jonker, Martijn C. Schut, Jan Treur, ...
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
14 years 2 months ago
Learning sequential visual attention control through dynamic state space discretization
² Similar to humans and primates, artificial creatures like robots are limited in terms of allocation of their resources to huge sensory and perceptual information. Serial process...
Ali Borji, Majid Nili Ahmadabadi, Babak Nadjar Ara...
ICALT
2003
IEEE
14 years 20 days ago
Adaptive Exploration of Assessment Results under Uncertainty
In the context of Intelligent Learning Environments (ILE), adaptivity plays a key role. In order to achieve adaptive behavior an ILE should have a rich representation of the learn...
Dimitris Lamboudis, Anastasios A. Economides, Anas...
COSIT
2003
Springer
122views GIS» more  COSIT 2003»
14 years 18 days ago
Communicating Vague Spatial Concepts in Human-GIS Interactions: A Collaborative Dialogue Approach
: Natural language requests involving vague spatial concepts are not easily communicated to a GIS because the meaning of spatial concepts depends largely on the contexts (such as t...
Guoray Cai, Hongmei Wang, Alan M. MacEachren
WETICE
2002
IEEE
14 years 8 days ago
Determination and Evaluation of Web Accessibility
The Web is the most pervasive collaborative technology in widespread use today; however, access to the web and its many applications cannot be taken for granted. Web accessibility...
Cornelia Boldyreff