Sciweavers

608 search results - page 90 / 122
» The Expressive Power of Simple Parallelism
Sort
View
PROCOMET
1998
14 years 11 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
VCIP
2000
196views Communications» more  VCIP 2000»
14 years 11 months ago
MIME: a gesture-driven computer interface
MIME (Mime Is Manual Expression) is a computationally efficient computer vision system for recognizing hand gestures. The system is intended to replace the mouse interface on a st...
Daniel Heckenberg, Brian Lovell
AI
2006
Springer
14 years 9 months ago
The complexity of soft constraint satisfaction
Over the past few years there has been considerable progress in methods to systematically analyse the complexity of constraint satisfaction problems with specified constraint type...
David A. Cohen, Martin C. Cooper, Peter Jeavons, A...
CG
2006
Springer
14 years 9 months ago
G-Strokes: A Concept for Simplifying Line Stylization
In most previous NPR line rendering systems, geometric properties have been directly used to extract and stylize certain edges. However, this approach is bound to a tight stylizat...
Tobias Isenberg, Angela Brennecke
PVLDB
2008
89views more  PVLDB 2008»
14 years 9 months ago
Constrained physical design tuning
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
Nicolas Bruno, Surajit Chaudhuri