Sciweavers

3779 search results - page 80 / 756
» Linear Consistency Testing
Sort
View
IJCAI
2003
14 years 11 months ago
Quantifying information and contradiction in propositional logic through test actions
Degrees of information and of contradiction are investigated within a uniform propositional framework, based on test actions. We consider that the degree of information of a propo...
Sébastien Konieczny, Jérôme La...
ECCV
2004
Springer
15 years 3 months ago
Stitching and Reconstruction of Linear-Pushbroom Panoramic Images for Planar Scenes
Abstract. This paper proposes a method to integrate multiple linearpushbroom panoramic images. The integration can be performed in real time. The technique is feasible on planar sc...
Chu-Song Chen, Yu-Ting Chen, Fay Huang
ESA
2009
Springer
109views Algorithms» more  ESA 2009»
15 years 2 months ago
Linear-Time Recognition of Probe Interval Graphs
The interval graph for a set of intervals on a line consists of one vertex for each interval, and an edge for each intersecting pair of intervals. A probe interval graph is a varia...
Ross M. McConnell, Yahav Nussbaum
STOC
1993
ACM
76views Algorithms» more  STOC 1993»
15 years 2 months ago
Piecewise linear paths among convex obstacles
Let B be a set of n arbitrary possibly intersecting convex obstacles in Rd. It is shown that any two points which can be connected by a path avoiding the obstacles can also be c...
Mark de Berg, Jirí Matousek, Otfried Schwar...
EJC
2007
14 years 10 months ago
Partial linear spaces built on hexagons
3 We define four families of geometries with as point graph the graph — or its complement — of all elliptic 4 hyperplanes of a given parabolic quadric in any finite 6-dimensi...
Alice Devillers, Hendrik Van Maldeghem