Sciweavers

3863 search results - page 271 / 773
» Function in Device Representation
Sort
View
APIN
2004
81views more  APIN 2004»
15 years 6 months ago
Learning Generalized Policies from Planning Examples Using Concept Languages
In this paper we are concerned with the problem of learning how to solve planning problems in one domain given a number of solved instances. This problem is formulated as the probl...
Mario Martin, Hector Geffner
TOG
2002
130views more  TOG 2002»
15 years 6 months ago
Dual contouring of hermite data
This paper describes a new method for contouring a signed grid whose edges are tagged by Hermite data (i.e; exact intersection points and normals). This method avoids the need to ...
Tao Ju, Frank Losasso, Scott Schaefer, Joe D. Warr...
JMIV
2010
87views more  JMIV 2010»
15 years 5 months ago
Infinite Photography: New Mathematical Model for High-Resolution Images
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...
Tapio Helin, Matti Lassas, Samuli Siltanen
CG
2011
Springer
14 years 10 months ago
Feature based volumes for implicit intersections
The automatic generation of volumes bounding the intersection of two implicit surfaces (isosurfaces of real functions of 3D point coordinates) or Feature Based Volumes (FBV) is pr...
Oleg Fryazinov, Pierre-Alain Fayolle, Turlif Vilbr...
CAV
2009
Springer
132views Hardware» more  CAV 2009»
16 years 7 months ago
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
Thao Dang, David Salinas