Sciweavers

263 search results - page 46 / 53
» A unifying action calculus
Sort
View
ICMCS
2005
IEEE
110views Multimedia» more  ICMCS 2005»
15 years 5 months ago
Electronic Chronicles: Empowering Individuals, Groups, and Organizations
Continuing strides in processing, storage, sensing, and networking technologies are enabling people to capture their activities and experiences as greater volumes of ever-richer m...
Gopal Pingali, R. Jain
ACII
2005
Springer
15 years 5 months ago
An Adaptive Personality Model for ECAs
Curtin University’s Talking Heads (TH) combine an MPEG-4 compliant Facial Animation Engine (FAE), an Text To Emotional Speech Synthesiser (TTES), a multi-modal Dialogue Manager (...
He Xiao, Donald Reid, Andrew Marriott, E. K. Gulla...
ICRA
2003
IEEE
168views Robotics» more  ICRA 2003»
15 years 5 months ago
Structure and pose from single images of symmetric objects with applications to robot navigation
In this paper, we provide a principled and unified explanation how knowledge in global 3-D structural invariants, typically captured by a group action on a symmetric structure, ca...
Allen Y. Yang, Wei Hong, Yi Ma
ISORC
2000
IEEE
15 years 3 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
USENIX
2004
15 years 1 months ago
Dynamic Instrumentation of Production Systems
This paper presents DTrace, a new facility for dynamic instrumentation of production systems. DTrace features the ability to dynamically instrument both user-level and kernel-leve...
Bryan Cantrill, Michael W. Shapiro, Adam H. Levent...