Sciweavers

4581 search results - page 16 / 917
» Computing Transformation Semigroups
Sort
View
151
Voted
AGP
2003
IEEE
15 years 8 months 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
133
Voted
JMIV
2000
143views more  JMIV 2000»
15 years 2 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
101
Voted
PERCOM
2005
ACM
16 years 2 months ago
MediaBroker: A pervasive computing infrastructure for adaptive transformation and sharing of stream data
Umakishore Ramachandran, Martin Modahl, Ilya Bagra...
121
Voted
CAD
2010
Springer
15 years 2 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...