Sciweavers

1223 search results - page 75 / 245
» Semantic Visualization and Meaning Computation
Sort
View
112
Voted
ATAL
2005
Springer
15 years 9 months ago
Law-governed Linda as a semantics for agent dialogue protocols
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
Sylvie Doutre, Peter McBurney, Michael Wooldridge
156
Voted
CODES
2008
IEEE
15 years 5 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
149
Voted
SG
2005
Springer
15 years 9 months ago
Visualizing Emotion in Musical Performance Using a Virtual Character
We describe an immersive music visualization application which enables interaction between a live musician and a responsive virtual character. The character reacts to live performa...
Robyn Taylor, Pierre Boulanger, Daniel Torres
113
Voted
ECAI
2008
Springer
15 years 5 months ago
Semantic Activity Recognition
Extracting automatically the semantics from visual data is a real challenge. We describe in this paper how recent work in cognitive vision leads to significative results in activi...
Monique Thonnat
PERCOM
2006
ACM
16 years 3 months ago
Seamless Browsing of Visual Contents in Shared Learning Environments
This paper presents a new interaction technique for browsing large visual information bases in a collaborative environment. The ATELIER project deals with learning environments fo...
Marco Loregian, Kresimir Matkovic, Thomas Psik