Sciweavers

4270 search results - page 483 / 854
» Implementation of interactive poster
Sort
View
189
Voted
ICFEM
2005
Springer
16 years 11 days ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
Jens Brandt, Klaus Schneider
186
Voted
ICSOC
2005
Springer
16 years 11 days ago
ASTRO: Supporting Composition and Execution of Web Services
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...
Michele Trainotti, Marco Pistore, Gaetano Calabres...
INTETAIN
2005
Springer
16 years 11 days ago
Disjunctor Selection for One-Line Jokes
Here we present a model of a subtype of one-line jokes (not puns) that describes the relationship between the connector (part of the setup) and the disjunctor (often called the pun...
Jeff Stark, Kim Binsted, Benjamin Bergen
169
Voted
IVA
2005
Springer
16 years 11 days ago
Hierarchical Motion Controllers for Real-Time Autonomous Virtual Humans
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...
Marcelo Kallmann, Stacy Marsella
IVA
2005
Springer
16 years 11 days ago
Providing Computer Game Characters with Conversational Abilities
This paper presents the NICE fairy-tale game system, which enables adults and children to engage in conversation with animated characters in a 3D world. In this paper we argue that...
Joakim Gustafson, Johan Boye, Morgan Fredriksson, ...