Sciweavers

643 search results - page 72 / 129
» Parsing And Derivational Equivalence
Sort
View
BMVC
2002
13 years 10 months ago
The Geometry of Dynamic Scenes - On Coplanar and Convergent Linear Motions Embedded in 3D Static Scenes
In this paper, we consider structure and motion recovery for scenes consisting of static and dynamic features. More particularly, we consider a single moving uncalibrated camera o...
Adrien Bartoli
FLAIRS
2008
13 years 10 months ago
On the Compilation of Possibilistic Default Theories
Handling exceptions represents one of the most important problems in Artificial Intelligence. Several approaches have been proposed for reasoning on default theories. This paper f...
Salem Benferhat, Safa Yahi, Habiba Drias
APPROX
2008
Springer
134views Algorithms» more  APPROX 2008»
13 years 9 months ago
Inapproximability of Survivable Networks
In the Survivable Network Design Problem (SNDP) one seeks to find a minimum cost subgraph that satisfies prescribed node-connectivity requirements. We give a novel approximation r...
Yuval Lando, Zeev Nutov
DLT
2007
13 years 9 months ago
Coding Partitions: Regularity, Maximality and Global Ambiguity
The canonical coding partition of a set of words is the finest partition such that the words contained in at least two factorizations of a same sequence belong to a same class. In...
Marie-Pierre Béal, Fabio Burderi, Antonio R...
PTS
2007
106views Hardware» more  PTS 2007»
13 years 9 months ago
A New Method for Interoperability Test Generation
Interoperability testing aims at verifying the possibility for two or more components to communicate correctly while providing the foreseen services. In this paper, we describe a n...
Alexandra Desmoulin, César Viho