Sciweavers

346 search results - page 12 / 70
» Individual Differences in Graphical Reasoning
Sort
View
CAV
2005
Springer
150views Hardware» more  CAV 2005»
14 years 28 days ago
Reasoning About Threads Communicating via Locks
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
Vineet Kahlon, Franjo Ivancic, Aarti Gupta
SIGGRAPH
1994
ACM
13 years 11 months ago
Interactive pen-and-ink illustration
We present an interactive system for creating pen-and-ink illustrations. The system uses stroke textures--collections of strokes arranged in different patterns--to generate textur...
Michael Salisbury, Sean E. Anderson, Ronen Barzel,...
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
14 years 1 months ago
Norm optimal Cross-Coupled Iterative Learning Control
— In this paper, we focus on improving contour tracking in precision motion control (PMC) applications through the use of Cross-Coupled Iterative Learning Control (CCILC). Initia...
Kira Barton, Jeroen van de Wijdeven, Andrew Alleyn...
ICIP
2005
IEEE
14 years 9 months ago
Variable module graphs: a framework for inference and learning in modular vision systems
We present a novel and intuitive framework for building modular vision systems for complex tasks such as surveillance applications. Inspired by graphical models, especially factor...
Amit Sethi, Mandar Rahurkar, Thomas S. Huang
DIGRA
2005
Springer
14 years 28 days ago
/hide: The aesthetics of group and solo play
In this essay, I examine differences between individual and social play and, in particular, the differences between individual and social play within digital media forms designed ...
David Myers