Sciweavers

828 search results - page 62 / 166
» Visualizing Interactions in Program Executions
Sort
View
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 7 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
ACMACE
2005
ACM
15 years 7 months ago
Real-time cinematic camera control for interactive narratives
In conventional, visual narrative media such as film, the placement and movement of the camera can be as important a device as the events of the narrative in conveying story and m...
Dan Amerson, Shaun Kime, R. Michael Young
WSC
2000
15 years 3 months ago
Interactive Web-based animations for teaching and learning
Web-based study resources can be viewed as a basic requirement in order to remain a competitive player on a more and more globalised educational market. For that reason it is gett...
Michael Syrjakow, Jörg Berdux, Helena Szczerb...
JECR
2002
129views more  JECR 2002»
15 years 1 months ago
The Self-Confrontation Interview: Towards an Enhanced Understanding of Human Factors in Web-based Interaction for Improved Websi
An in-depth understanding of human factors in web-based interaction requires a methodology which enables researchers to chart online actions, understand the cognitive processes gu...
Sun Lim
MM
2010
ACM
129views Multimedia» more  MM 2010»
15 years 11 days ago
Facilitating interactive search and navigation in videos
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
Klaus Schoeffmann