Sciweavers

99 search results - page 17 / 20
» Formalising Believability and Building Believable Virtual Ag...
Sort
View
ACII
2007
Springer
15 years 1 months ago
Perception of Emotions from Static Postures
The modelling of affective behaviour and appropriate bodily expression to make synthetic characters more believable becomes important in many types of applications such as games, s...
Ahmad S. Shaarani, Daniela M. Romano
KBSE
2000
IEEE
15 years 2 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
SIGGRAPH
1999
ACM
15 years 1 months ago
Stable Fluids
Building animation tools for fluid-like motions is an important and challenging problem with many applications in computer graphics. The use of physics-based models for fluid ï¬...
Jos Stam
ATAL
2007
Springer
15 years 3 months ago
Goals in the context of BDI plan failure and planning
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
Sebastian Sardiña, Lin Padgham
ATAL
2003
Springer
15 years 2 months ago
Authoring scenes for adaptive, interactive performances
In this paper, we introduce a toolkit called SceneMaker for authoring scenes for adaptive, interactive performances. These performances are based on automatically generated and pr...
Patrick Gebhard, Michael Kipp, Martin Klesen, Thom...