Sciweavers

1223 search results - page 75 / 245
» Semantic Visualization and Meaning Computation
Sort
View
ATAL
2005
Springer
15 years 11 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
CODES
2008
IEEE
15 years 7 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
SG
2005
Springer
15 years 11 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
ECAI
2008
Springer
15 years 7 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 5 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