Sciweavers

106 search results - page 4 / 22
» Virtual Chip: Making Functional Models Work on Real Target S...
Sort
View
AAMAS
1999
Springer
13 years 7 months ago
Fully Embodied Conversational Avatars: Making Communicative Behaviors Autonomous
: Although avatars may resemble communicative interface agents, they have for the most part not profited from recent research into autonomous embodied conversational systems. In pa...
Justine Cassell, Hannes Högni Vilhjálm...
SOSP
2003
ACM
14 years 4 months ago
Xen and the art of virtualization
Numerous systems have been designed which use virtualization to subdivide the ample resources of a modern computer. Some require specialized hardware, or cannot support commodity ...
Paul Barham, Boris Dragovic, Keir Fraser, Steven H...
FM
2008
Springer
127views Formal Methods» more  FM 2008»
13 years 9 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
ERCIMDL
2005
Springer
148views Education» more  ERCIMDL 2005»
14 years 27 days ago
Active Support for Query Formulation in Virtual Digital Libraries: A Case Study with DAFFODIL
Daffodil is a front-end to federated, heterogeneous digital libraries targeting at strategic support of users during the information seeking process. This is done by offering a va...
André Schaefer, Matthias Jordan, Claus-Pete...
APGV
2006
ACM
131views Visualization» more  APGV 2006»
13 years 11 months ago
Minification influences spatial judgments in virtual environments
Distances in immersive virtual environments (VEs) have been commonly reported as being spatially compressed while the same judgments are performed accurately in real space. Previo...
Scott A. Kuhl, William B. Thompson, Sarah H. Creem...