Sciweavers

33 search results - page 4 / 7
» Domain representations of spaces of compact subsets
Sort
View
CL
2000
Springer
13 years 10 months ago
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
Tommi A. Junttila, Ilkka Niemelä
VIS
2003
IEEE
116views Visualization» more  VIS 2003»
14 years 8 months ago
Space Efficient Fast Isosurface Extraction for Large Datasets
In this paper, we present a space efficient algorithm for speeding up isosurface extraction. Even though there exist algorithms that can achieve optimal search performance to iden...
Udeepta Bordoloi, Han-Wei Shen
ICCV
2003
IEEE
14 years 9 months ago
Space-time Interest Points
Local image features or interest points provide compact ract representations of patterns in an image. In this paper, we propose to extend the notion of spatial interest points int...
Ivan Laptev, Tony Lindeberg
SIGGRAPH
1995
ACM
13 years 10 months ago
Modeling surfaces of arbitrary topology using manifolds
We describe an extension of B-splines to surfacesof arbitrary topology, including arbitrary boundaries. The technique inherits many of the properties of B-splines: local control, ...
Cindy Grimm, John F. Hughes
AAAI
2006
13 years 8 months ago
Approximate Compilation for Embedded Model-based Reasoning
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...
Barry O'Sullivan, Gregory M. Provan