Sciweavers

4581 search results - page 16 / 917
» Computing Transformation Semigroups
Sort
View
AGP
2003
IEEE
14 years 20 days ago
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
Thomas Eiter, Axel Polleres
JMIV
2000
143views more  JMIV 2000»
13 years 7 months ago
A Linear Algorithm for Computing the Homography from Conics in Correspondence
Abstract. This paper presents a study, based on conic correspondences, on the relationship between two perspective images acquired by an uncalibrated camera. We show that for a pai...
Akihiro Sugimoto
CAD
2010
Springer
13 years 7 months ago
Volumes with piecewise quadratic medial surface transforms: Computation of boundaries and trimmed offsets
MOS surfaces are rational surfaces in R3,1 which provide rational envelopes of the associated two-parameter family of spheres. Moreover, all the offsets admit rational parameteriz...
Bohumír Bastl, Bert Jüttler, Jir&iacut...