Sciweavers

510 search results - page 81 / 102
» An Algebraic Framework for Urgency
Sort
View
CORR
2008
Springer
190views Education» more  CORR 2008»
15 years 4 months ago
Chain-Based Representations for Solid and Physical Modeling
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...
Antonio DiCarlo, Franco Milicchio, Alberto Paoluzz...
JSYML
2010
107views more  JSYML 2010»
15 years 4 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
ICFP
2007
ACM
16 years 6 months ago
Bidirectionalization transformation based on automatic derivation of view complement functions
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Ma...
ICCV
2005
IEEE
16 years 8 months ago
Segmentation of Hybrid Motions via Hybrid Quadratic Surface Analysis
In this paper, we investigate the mathematical problem underlying segmentation of hybrid motions: Given a series of tracked feature correspondences between two (perspective) image...
Shankar Rao, Allen Y. Yang, Andrew Wagner, Yi Ma
ECCV
2002
Springer
16 years 8 months ago
Another Way of Looking at Plane-Based Calibration: The Centre Circle Constraint
Abstract. The plane-based calibration consists in recovering the internal parameters of the camera from the views of a planar pattern with a known geometric structure. The existing...
Alain Crouzil, Pierre Gurdjos, René Payriss...