Sciweavers

284 search results - page 42 / 57
» What Matchings Can Be Stable
Sort
View
CVPR
2004
IEEE
14 years 11 months ago
Visual Odometry
We present a system that estimates the motion of a stereo head or a single moving camera based on video input. The system operates in real-time with low delay and the motion estim...
David Nistér, James R. Bergen, Oleg Narodit...
VLDB
2007
ACM
107views Database» more  VLDB 2007»
14 years 10 months ago
VGRAM: Improving Performance of Approximate Queries on String Collections Using Variable-Length Grams
Many applications need to solve the following problem of approximate string matching: from a collection of strings, how to find those similar to a given string, or the strings in ...
Chen Li, Bin Wang, Xiaochun Yang
PODS
2005
ACM
129views Database» more  PODS 2005»
14 years 10 months ago
Regular rewriting of active XML and unambiguity
We consider here the exchange of Active XML (AXML) data, i.e., XML documents where some of the data is given explicitly while other parts are given only intensionally as calls to ...
Serge Abiteboul, Tova Milo, Omar Benjelloun
ICSE
2007
IEEE-ACM
14 years 9 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin
ICDCS
2009
IEEE
14 years 7 months ago
MOPS: Providing Content-Based Service in Disruption-Tolerant Networks
—Content-based service, which dynamically routes and delivers events from sources to interested users, is extremely important to network services. However, existing content-based...
Feng Li, Jie Wu