Sciweavers

806 search results - page 73 / 162
» Algebraic Structures of B-series
Sort
View
PAMI
2008
185views more  PAMI 2008»
13 years 7 months ago
Three-View Multibody Structure from Motion
We propose a geometric approach to 3D motion segmentation from point correspondences in three perspective views. We demonstrate that after applying a polynomial embedding to the po...
René Vidal, Richard Hartley
ADG
2006
Springer
204views Mathematics» more  ADG 2006»
14 years 1 months ago
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems
This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss...
Robert H. Lewis, Evangelos A. Coutsias
CSL
2010
Springer
13 years 8 months ago
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
Barnaby Martin, Jos Martin
JSC
2002
74views more  JSC 2002»
13 years 7 months ago
Computing Transformation Semigroups
This paper describes algorithms for computing the structure of finite transformation semigroups. The algorithms depend crucially on a new data structure for an R-class in terms of...
Steve Linton, G. Pfeiffer, Edmund F. Robertson, Ni...
JSYML
2002
56views more  JSYML 2002»
13 years 7 months ago
Borovik-Poizat Rank and Stability
: There is an axiomatic treatment of Morley rank in groups, due to Borovik and Poizat. These axioms form the basis of the algebraic treatment of groups of finite Morley rank which ...
Jeffrey Burdges, Gregory L. Cherlin