Sciweavers

828 search results - page 62 / 166
» Visualizing Interactions in Program Executions
Sort
View
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 9 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...
125
Voted
ACMACE
2005
ACM
15 years 10 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
132
Voted
WSC
2000
15 years 5 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 4 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
153
Voted
MM
2010
ACM
129views Multimedia» more  MM 2010»
15 years 3 months 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