Sciweavers

18716 search results - page 3628 / 3744
» Automatic
Sort
View
FAC
2006
122views more  FAC 2006»
13 years 9 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
IJMMS
2008
72views more  IJMMS 2008»
13 years 9 months ago
Zoom interaction design for pen-operated portable devices
Maps are currently the most common application domain for ZUIs. Standard techniques for controlling such interfaces on pen-operated devices usually rely on sequential interaction,...
Thorsten Büring, Jens Gerken, Harald Reiterer
IJRR
2008
139views more  IJRR 2008»
13 years 9 months ago
Learning to Control in Operational Space
One of the most general frameworks for phrasing control problems for complex, redundant robots is operational space control. However, while this framework is of essential importan...
Jan Peters, Stefan Schaal
CGA
2007
13 years 9 months ago
Exploring Defocus Matting: Nonparametric Acceleration, Super-Resolution, and Off-Center Matting
Defocus matting is a fully automatic and passive method for pulling mattes from video captured with coaxial cameras that have different depths of field and planes of focus. Nonpa...
Neel Joshi, Wojciech Matusik, Shai Avidan, Hanspet...
CGA
2007
13 years 9 months ago
From Abstract Painting to Information Visualization
abstract painting and practice can benefit information visualization—even though the two fields have significantly different objectives. This comparison reflects the spirit of ...
Kang Zhang
« Prev « First page 3628 / 3744 Last » Next »