5608 search results - page 927 / 1122 » Structure description tools |
139
click to vote
AI
2000
Springer
15 years 3 months ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....
147
click to vote
DEDS
2002
15 years 3 months ago
2002
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
151
click to vote
JMIV
2000
15 years 3 months ago
2000
Auto-calibration is the recovery of the full camera geometry and Euclidean scene structure from several images of an unknown 3D scene, using rigidity constraints and partial knowl...
117
Voted
NAR
2000
15 years 3 months ago
2000
The Eukaryotic Promoter Database (EPD) is an annotated non-redundant collection of experimentally characterised eukaryotic POL II promoters. The underlying definition of a promote...
151
click to vote
CACM
1999
15 years 3 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...