Sciweavers

3707 search results - page 221 / 742
» A Simple Technique for Self-Calibration
Sort
View
ISAAC
2003
Springer
117views Algorithms» more  ISAAC 2003»
15 years 11 months ago
Approximate Regular Expression Searching with Arbitrary Integer Weights
Abstract. We present a bit-parallel technique to search a text of length n for a regular expression of m symbols permitting k differences in worst case time O(mn/ logk s), where s...
Gonzalo Navarro
159
Voted
ECCV
2010
Springer
15 years 11 months ago
Seeing through Obscure Glass
Obscure glass is textured glass designed to separate spaces and “obscure” visibility between the spaces. Such glass is used to provide privacy while still allowing light to fl...
ICIP
2000
IEEE
15 years 11 months ago
High Quality Region-Based Video Coding
Traditionally, region-based image and video coding have been addressed only in the context of low and very low bit-rate coding. However, one of the most interesting by-products of...
Armando J. Pinho
APN
2000
Springer
15 years 11 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
CCA
2000
Springer
15 years 11 months ago
The Uniformity Conjecture
The Exact Geometric Computing approach requires a zero test for numbers which are built up using standard operations starting with the natural numbers. The uniformity conjecture, ...
Daniel Richardson