180 search results - page 27 / 36 » A computational model for spatial expression resolution |
ENTCS
2008
14 years 12 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
103
click to vote
CGF
2010
14 years 12 months ago
2010
In this paper we present a novel method to compute Boolean operations on polygonal meshes. Given a Boolean expression over an arbitrary number of input meshes we reliably and effi...
TLCA
2005
Springer
15 years 5 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
113
click to vote
CAGD
2008
14 years 12 months ago
2008
Geometric constraints have proved to be helpful for shape modeling. Moreover, they are efficient aids in controlling deformations and enhancing animation realism. The present pape...
150
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
We describe an imaging architecture for compressive video sensing termed programmable pixel compressive camera (P2C2). P2C2 allows us to capture fast phenomena at frame rates high...