Sciweavers

10988 search results - page 1780 / 2198
» Algorithmic Folding Complexity
Sort
View
SIGSOFT
2009
ACM
16 years 5 months ago
Engineering search computing applications: vision and challenges
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
Marco Brambilla, Stefano Ceri
SIGSOFT
2003
ACM
16 years 5 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
ISBI
2002
IEEE
16 years 5 months ago
A novel non-diffractive reconstruction method for digital holographic microscopy
We present a new method for reconstructing digitally recorded off-axis Fresnel holograms. Currently-used reconstruction methods are based on the simulation and propagation of a re...
Michael Liebling, Thierry Blu, Etienne Cuche, Pier...
ISBI
2004
IEEE
16 years 5 months ago
Iterative Image Reconstruction in MRI With Separate Magnitude and Phase Regularization
Iterative methods for image reconstruction in MRI are useful in several applications, including reconstruction from non-Cartesian k-space samples, compensation for magnetic field ...
Jeffrey A. Fessler, Douglas C. Noll
ISBI
2004
IEEE
16 years 5 months ago
Combining Fuzzy Logic and Level Set Methods for 3D MRI Brain Segmentation
We propose to segment volumetric brain structures with a level set method including a fuzzy decision in the design of the evolution force. The role of fuzzy logic is to fuse gradi...
Christian Barillot, Cybèle Ciofolo, Pierre ...
« Prev « First page 1780 / 2198 Last » Next »