Sciweavers

2200 search results - page 241 / 440
» Bloch's Constant is Computable
Sort
View
ECCV
2004
Springer
15 years 10 months ago
Galilean Differential Geometry of Moving Images
In this paper we develop a systematic theory about local structure of moving images in terms of Galilean differential invariants. We argue that Galilean invariants are useful for s...
Daniel Fagerström
CONCUR
2006
Springer
15 years 10 months ago
Controller Synthesis for MTL Specifications
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
FOCS
2004
IEEE
15 years 10 months ago
Approximating the Stochastic Knapsack Problem: The Benefit of Adaptivity
We consider a stochastic variant of the NP-hard 0/1 knapsack problem in which item values are deterministic and item sizes are independent random variables with known, arbitrary d...
Brian C. Dean, Michel X. Goemans, Jan Vondrá...
CVPR
2000
IEEE
15 years 10 months ago
Adaptive Metric nearest Neighbor Classification
Nearest neighbor classification assumes locally constant class conditional probabilities. This assumption becomes invalid in high dimensions with finite samples due to the curse o...
Carlotta Domeniconi, Dimitrios Gunopulos, Jing Pen...
COMPGEOM
1995
ACM
15 years 10 months ago
Approximate Range Searching
The range searching problem is a fundamental problem in computational geometry, with numerous important applications. Most research has focused on solving this problem exactly, bu...
Sunil Arya, David M. Mount