Sciweavers

1380 search results - page 83 / 276
» A General Polynomial Sieve
Sort
View
ECAI
2000
Springer
14 years 2 months ago
Iterated Revision by Epistemic States: Axioms, Semantics and Syntax
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
Salem Benferhat, Sébastien Konieczny, Odile...
TCS
2011
13 years 4 months ago
The three column Bandpass problem is solvable in linear time
The general Bandpass problem is NP-hard and was claimed NP-hard when the number of columns is three. Previously we designed a polynomial time row-stacking algorithm for the three ...
Zhong Li, Guohui Lin
ICCV
1999
IEEE
14 years 12 months ago
Camera Pose and Calibration from 4 or 5 Known 3D Points
We describe two direct quasilinear methods for camera pose (absolute orientation) and calibration from a single image of 4 or 5 known 3D points. They generalize the 6 point `Direc...
Bill Triggs
DIS
2007
Springer
14 years 1 months ago
Time and Space Efficient Discovery of Maximal Geometric Graphs
A geometric graph is a labeled graph whose vertices are points in the 2D plane with an isomorphism invariant under geometric transformations such as translation, rotation, and scal...
Hiroki Arimura, Takeaki Uno, Shinichi Shimozono
COCO
1995
Springer
83views Algorithms» more  COCO 1995»
14 years 1 months ago
The Instance Complexity Conjecture
The instance complexity of a string x with respect to a set A and time bound t, ict (x : A), is the length of the shortest program for A that runs in time t, decides x correctly, ...
Martin Kummer