Sciweavers

3053 search results - page 466 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
IAJIT
2010
166views more  IAJIT 2010»
15 years 11 days ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
104
Voted
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
15 years 8 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys
86
Voted
ACII
2007
Springer
15 years 8 months ago
Early Prediction of Student Frustration
Affective reasoning has been the subject of increasing attention in recent years. Because negative affective states such as frustration and anxiety can impede progress toward learn...
Scott W. McQuiggan, Sunyoung Lee, James C. Lester
ICMI
2007
Springer
215views Biometrics» more  ICMI 2007»
15 years 8 months ago
Visual inference of human emotion and behaviour
We address the problem of automatic interpretation of nonexaggerated human facial and body behaviours captured in video. We illustrate our approach by three examples. (1) We intro...
Shaogang Gong, Caifeng Shan, Tao Xiang
APPT
2005
Springer
15 years 7 months ago
Autonomous-Centered Problem Allocation Oriented to Cooperation
By reasonably allocating a cooperative problem which need multiple solvers cope with together, the problem could be performed more effectively and efficiently. A problem could be d...
Xiping Liu, Wan-Chun Dou, Guihai Chen, Shijie Cai,...