Sciweavers

4949 search results - page 184 / 990
» Consistency and Set Intersection
Sort
View
110
Voted
SIGDOC
1998
ACM
15 years 9 months ago
Documentation Integrity for Safety-Critical Applications: The COHERE Project
A key aspect of the COHERE project involves building an authoring system for documentation for safety-critical systems. Following a set of documentation integrity maxims, the proj...
David G. Novick, Joel Juillet
120
Voted
COMBINATORICS
2007
65views more  COMBINATORICS 2007»
15 years 5 months ago
On Certain Integral Schreier Graphs of the Symmetric Group
We compute the spectrum of the Schreier graph of the symmetric group Sn corresponding to the Young subgroup S2 × Sn−2 and the generating set consisting of initial reversals. In ...
Paul E. Gunnells, Richard A. Scott, Byron L. Walde...
145
Voted
ICTAI
2009
IEEE
15 years 2 months ago
Merging Conflicting Propositional Knowledge by Similarity
The paper discusses a new approach to merging conflicting propositional knowledge bases which builds on the idea that consistency can often be restored by interpreting proposition...
Steven Schockaert, Henri Prade
ICCV
2009
IEEE
16 years 10 months ago
3D reconstruction from image collections with a single known focal length
In this paper we aim at reconstructing 3D scenes from images with unknown focal lengths downloaded from photosharing websites such as Flickr. First we provide a minimal solution...
Martin Bujnak, Zuzana Kukelova, Tomas Pajdla
CVPR
1998
IEEE
16 years 7 months ago
Interactive Sensor Planning
This paper describes an interactive sensor planning system that can be used to select viewpoints subject to camera visibility, field of view and task constraints. Application area...
Ioannis Stamos, Peter K. Allen