Sciweavers

3819 search results - page 372 / 764
» Simple Easy Terms
Sort
View
MFCS
1994
Springer
15 years 11 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
MPC
1992
Springer
135views Mathematics» more  MPC 1992»
15 years 11 months ago
A Calculus for Predicative Programming
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
Emil Sekerinski
SIGGRAPH
1992
ACM
15 years 11 months ago
Measuring and modeling anisotropic reflection
A new device for measuringthe spatial reflectancedistributionsof surfaces is introduced, along with a new mathematical model of sniaorropic reflectance. The reflectance model pres...
Gregory J. Ward
CSCW
1990
ACM
15 years 11 months ago
Strudel - An Extensible Electronic Conversation Toolkit
This paperdescribesthe conceptual model of Strudel, a toolkit of generic components for conversation and action management. To empower work groups to more effectively conduct thei...
Allan Shepherd, Niels Mayer, Allan Kuchinsky
ACMACE
2007
ACM
15 years 11 months ago
Graceful anytime interruptibility for virtual agents
The demo will show two highly expressive virtual agents introducing the audience to a traditional Japanese room. The agent models and gestures have been created by a professional ...
Klaus Brügmann, Helmut Prendinger, Marc Stamm...