Sciweavers

4631 search results - page 221 / 927
» Experiences with an Environment Generation System
Sort
View
MTV
2006
IEEE
97views Hardware» more  MTV 2006»
16 years 18 days ago
Circuit Profiling Mechanisms for High-Level {ATPG}
—Our Mutation-based Validation Paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently generate test sequences, we nee...
Jorge Campos, Hussain Al-Asaad
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
15 years 12 months ago
Prototype-Based Tests for Hybrid Reactive Systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th...
ITS
2010
Springer
153views Multimedia» more  ITS 2010»
15 years 11 months ago
Integrating Learning and Engagement in Narrative-Centered Learning Environments
A key promise of narrative-centered learning environments is the ability to make learning engaging. However, there is concern that learning and engagement may be at odds in these g...
Jonathan P. Rowe, Lucy R. Shores, Bradford W. Mott...
CHI
2010
ACM
16 years 1 months ago
Transforming clinic environments into information workspaces for patients
Although clinic environments are a primary location for exchanging information with clinicians, patients experience these spaces as harsh environments to access, use, exchange, an...
Kenton T. Unruh, Meredith M. Skeels, Andrea Civan-...
IJVR
2007
128views more  IJVR 2007»
15 years 6 months ago
Occlusion Management in Immersive and Desktop 3D Virtual Environments: Theory and Evaluation
—We present an empirical usability experiment studying the relative strengths and weaknesses of three different occlusion management techniques for discovering and accessing obje...
Niklas Elmqvist, Mihail Eduard Tudoreanu