Sciweavers

34181 search results - page 6453 / 6837
» The Computer System GRAPHOGRAPH
Sort
View
159
Voted
KR
2000
Springer
15 years 8 months ago
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
Alan Verberne, Frank van Harmelen, Annette ten Tei...
PODC
2000
ACM
15 years 8 months ago
Efficient atomic broadcast using deterministic merge
We present an approach for merging message streams from producers distributed over a network, using a deterministic algorithm that is independent of any nondeterminism of the syst...
Marcos Kawazoe Aguilera, Robert E. Strom
RELMICS
2000
Springer
15 years 8 months ago
A Decision Method for Duration Calculus
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
Nathalie Chetcuti-Sperandio, Luis Fariñas d...
174
Voted
SMILE
2000
Springer
15 years 8 months ago
Augmented Reality Using Uncalibrated Video Sequences
Abstract. Augmented Reality(AR) aims at merging the real and the virtual in order to enrich a real environment with virtual information. Augmentations range from simple text annota...
Kurt Cornelis, Marc Pollefeys, Maarten Vergauwen, ...
126
Voted
SMILE
2000
Springer
15 years 8 months ago
Frame Decimation for Structure and Motion
A frame decimation scheme is proposed that makes automatic extraction of Structure and Motion (SaM) from handheld sequences more practical. Decimation of the number of frames used...
David Nistér
« Prev « First page 6453 / 6837 Last » Next »