Sciweavers

3145 search results - page 295 / 629
» Algebraic Linear Orderings
Sort
View
FSTTCS
2003
Springer
15 years 12 months ago
Reachability Analysis of Process Rewrite Systems
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
Ahmed Bouajjani, Tayssir Touili
AMC
2007
125views more  AMC 2007»
15 years 6 months ago
Geometric multigrid for high-order regularizations of early vision problems
The surface estimation problem is used as a model to demonstrate a framework for solving early vision problems by high-order regularization with natural boundary conditions. Becaus...
Stephen L. Keeling, Gundolf Haase
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 6 months ago
Intersection Theory for Generic Differential Polynomials and Differential Chow Form
In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension d and order h with a g...
Xiao-Shan Gao, Wei Li, Chun-Ming Yuan
153
Voted
DCG
2008
82views more  DCG 2008»
15 years 6 months ago
Schnyder Woods and Orthogonal Surfaces
In this paper we study connections between planar graphs, Schnyder woods, and orthogonal surfaces. Schnyder woods and the face counting approach have important applications in gra...
Stefan Felsner, Florian Zickfeld
ICPR
2008
IEEE
16 years 7 months ago
Image mosaicing using local optical flow registration
Cylindrical panoramic mosaics can be created by aligning and stitching images from a series, captured by a camera rotating around its optical center. The transformation between tw...
François Deschênes, Marie Flavie Aucl...