Sciweavers

1576 search results - page 146 / 316
» Properties of Synthetic Optimization Problems
Sort
View
VLDB
1999
ACM
188views Database» more  VLDB 1999»
15 years 8 months ago
SPIRIT: Sequential Pattern Mining with Regular Expression Constraints
Discovering sequential patterns is an important problem in data mining with a host of application domains including medicine, telecommunications, and the World Wide Web. Conventio...
Minos N. Garofalakis, Rajeev Rastogi, Kyuseok Shim
ECCV
2006
Springer
15 years 8 months ago
Motion Segmentation Using an Occlusion Detector
We present a novel method for the detection of motion boundaries in a video sequence based on differential properties of the spatio-temporal domain. Regarding the video sequence as...
Doron Feldman, Daphna Weinshall
MPC
1995
Springer
125views Mathematics» more  MPC 1995»
15 years 8 months ago
Synthesizing Proofs from Programs in the Calculus of Inductive Constructions
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
Catherine Parent
CVIU
2007
157views more  CVIU 2007»
15 years 4 months ago
Camera calibration and light source orientation from solar shadows
In this paper, we describe a method for recovering camera parameters from perspective views of daylight shadows in a scene, given only minimal geometric information determined fro...
Xiaochun Cao, Hassan Foroosh
IJCV
1998
153views more  IJCV 1998»
15 years 4 months ago
Rational Filters for Passive Depth from Defocus
A fundamental problem in depth from defocus is the measurement of relative defocus between images. The performance of previously proposed focus operators are inevitably sensitive t...
Masahiro Watanabe, Shree K. Nayar