Sciweavers

1789 search results - page 158 / 358
» New analysis and results for the Frank-Wolfe method
Sort
View
MVA
2006
120views Computer Vision» more  MVA 2006»
15 years 1 months ago
A model of diatom shape and texture for analysis, synthesis and identification
We describe tools for automatic identification and classification of diatoms that compare photographs with other photographs and drawings, via a model. Identification of diatoms, i...
Yulia Hicks, A. David Marshall, Paul L. Rosin, Ral...
SAS
2000
Springer
15 years 5 months ago
Tree Schemata and Fair Termination
We present a new representation for possibly infinite sets of possibly infinite trees. This representation makes extensive use of sharing to achieve efficiency. As much as possible...
Laurent Mauborgne
FMCAD
2004
Springer
15 years 5 months ago
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
Orna Grumberg, Assaf Schuster, Avi Yadgar
CVPR
2007
IEEE
16 years 3 months ago
Detection and segmentation of moving objects in highly dynamic scenes
Detecting and segmenting moving objects in dynamic scenes is a hard but essential task in a number of applications such as surveillance. Most existing methods only give good resul...
Aurélie Bugeau, Patrick Pérez
ICCV
2001
IEEE
16 years 3 months ago
Concentric Mosaic(s)Planar Motion and 1D Cameras
General SFM methods give poor results for images captured by constrained motions such as planar motion of concentric mosaics (CM). In this paper, we propose new SFM algorithms for...
Long Quan, Le Lu, Heung-Yeung Shum, Maxime Lhuilli...