20 search results - page 4 / 4 » Abstraction of 2D shapes in terms of parts |
VMCAI
2009
Springer
14 years 10 days ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
ICCV
2007
IEEE
13 years 12 months ago
2007
IEEE
Abstract. We describe a visual communication application for a dark, theaterlike interactive virtual simulation training environment. Our system visually estimates and tracks the b...
SIGECOM
2008
ACM
13 years 5 months ago
2008
ACM
We study the question of how to easily recognize whether a social unction f from an abstract type space to a set of outcomes is truthful, i.e. implementable by a truthful mechanis...
BIRTHDAY
2009
Springer
13 years 3 months ago
2009
Springer
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
COMPGEOM
2001
ACM
13 years 9 months ago
2001
ACM
This presentation illustrates examples of my geometric sculpture and outlines certain design techniques. I apply methods from the field of computational geometry to the creation o...