1781 search results - page 185 / 357 » Visualizing program execution using user abstractions |
MABS
2005
Springer
14 years 3 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
VIS
2009
IEEE
14 years 11 months ago
2009
IEEE
Visual exploration is essential to the visualization and analysis of densely sampled 3D DTI fibers in biological speciments, due to the high geometric, spatial, and anatomical comp...
JAR
2010
13 years 8 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
HAPTICS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper explores the use of haptic feedback to abstract motor skill that requires recalling a sequence of forces. Participants are guided along a trajectory and are asked to le...
PDP
2010
IEEE
14 years 5 months ago
2010
IEEE
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...