Sciweavers

3369 search results - page 199 / 674
» New Methods in Fractal Imaging
Sort
View
BIRTHDAY
2009
Springer
16 years 25 days ago
Hybrid BDD and All-SAT Method for Model Checking
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
Avi Yadgar, Orna Grumberg, Assaf Schuster
TNN
1998
121views more  TNN 1998»
15 years 5 months ago
Detection of mines and minelike targets using principal component and neural-network methods
— This paper introduces a new system for real-time detection and classification of arbitrarily scattered surface-laid mines from multispectral imagery data of a minefield. The ...
Xi Miao, Mahmood R. Azimi-Sadjadi, Bin Tan, A. C. ...
IEEECGIV
2006
IEEE
16 years 2 days ago
Synthesizing Free-Viewpoint Images from Multiple View Videos in Soccer Stadium
We propose a new method for synthesizing freeviewpoint images from multiple view videos in soccer stadium. The previous method[1] can synthesize virtual viewpoint images at only i...
Kunihiko Hayashi, Hideo Saito
MICCAI
2005
Springer
16 years 7 months ago
Hybrid Segmentation Framework for Tissue Images Containing Gene Expression Data
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...
Musodiq Bello, Tao Ju, Joe D. Warren, James Carson...
EMMCVPR
1999
Springer
15 years 10 months ago
Maximum Likelihood Inference of 3D Structure from Image Sequences
The paper presents a new approach to recovering the 3D rigid shape of rigid objects from a 2D image sequence. The method has two distinguishing features: it exploits the rigidity o...
Pedro M. Q. Aguiar, José M. F. Moura