Sciweavers

613 search results - page 92 / 123
» Executable Visual Contracts
Sort
View
SMC
2010
IEEE
198views Control Systems» more  SMC 2010»
13 years 8 months ago
Fast tracking of natural textures using fractal snakes
Abstract — The natural environments that robotic applications often encounter can present difficult problems for imagebased task execution. Prior efforts have used both grayscale...
Christopher E. Smith
VL
2010
IEEE
247views Visual Languages» more  VL 2010»
13 years 8 months ago
Cleanroom: Edit-Time Error Detection with the Uniqueness Heuristic
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
Andrew J. Ko, Jacob O. Wobbrock
JOCN
2011
92views more  JOCN 2011»
13 years 22 days ago
Rapid Modulation of Sensory Processing Induced by Stimulus Conflict
■ Humans are constantly confronted with environmental stimuli that conflict with task goals and can interfere with successful behavior. Prevailing theories propose the existence...
Lawrence G. Appelbaum, David V. Smith, Carsten Nic...
ISBI
2004
IEEE
14 years 10 months ago
Surface Matching Algorithms for Computer Aided Reconstructive Plastic Surgery
High energy traumatic impact of the craniofacial skeleton is an inevitable consequence of today's fast paced society. The work presented in this paper leverages recent advanc...
Suchendra M. Bhandarkar, Ananda S. Chowdhury, Yaro...
PERCOM
2009
ACM
14 years 10 months ago
DiaSim: A Parameterized Simulator for Pervasive Computing Applications
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
Wilfried Jouve, Julien Bruneau, Charles Consel