150 search results - page 21 / 30 » Parameterized Modal Satisfiability |
IJCV
2000
13 years 7 months ago
2000
We present a universal statistical model for texture images in the context of an overcomplete complex wavelet transform. The model is parameterized by a set of statistics computed ...
IPMI
2001
Springer
14 years 8 months ago
2001
Springer
This paper presents a Bayesian multi-scale three dimensional deformable template approach based on a medial representation for the segmentation and shape characterization of anatom...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
Fluorescence tomography has become increasingly popular for detecting molecular targets for imaging gene expression and other cellular processes in vivo in small animal studies. I...
PLILP
1998
Springer
13 years 11 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...