Sciweavers

1576 search results - page 146 / 316
» Properties of Synthetic Optimization Problems
Sort
View
VLDB
1999
ACM
188views Database» more  VLDB 1999»
15 years 10 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 10 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 10 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 6 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 6 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