Sciweavers

3116 search results - page 136 / 624
» Recovering
Sort
View
KR
1998
Springer
14 years 1 months ago
A Qualitative Theory of Motion Based on Spatio-Temporal Primitives
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
Philippe Muller
ISSAC
1997
Springer
125views Mathematics» more  ISSAC 1997»
14 years 1 months ago
A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials
Abstract. This paper presents a modular algorithm for computing the greatest common right divisor (gcrd) of two univariate Ore polynomials over Z[t]. The subresultants of Ore polyn...
Ziming Li, István Nemes
AAECC
1993
Springer
94views Algorithms» more  AAECC 1993»
14 years 1 months ago
Relations Among Lie Formal Series and Construction of Symplectic Integrators
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
Pierre-Vincent Koseleff
ACAL
2007
Springer
14 years 1 months ago
Directed Evolution of an Artificial Cell Lineage
Biological development is a complex process that mediates between genotypes, to which mutations occur, and phenotypes, on which selection acts. Properties of development can theref...
Nicholas Geard, Janet Wiles
ACCV
2007
Springer
14 years 1 months ago
Motion Observability Analysis of the Simplified Color Correlogram for Visual Tracking
Abstract. Compared with the color histogram, where the position information of each pixel is ignored, a simplified color correlogram (SCC) representation encodes the spatial inform...
Qi Zhao, Hai Tao