Sciweavers

3779 search results - page 80 / 756
» Linear Consistency Testing
Sort
View
IJCAI
2003
15 years 1 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 5 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 4 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 4 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 12 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