Sciweavers

1134 search results - page 129 / 227
» Composing Tests from Examples
Sort
View
ICIP
2009
IEEE
16 years 7 days ago
Efficient Multivariate Skellam Shrinkage For Denoising Photon-limited Image Data: An Empirical Bayes Approach
In this article we address the issue of denoising photon-limited image data by deriving new and efficient multivariate Bayesian estimators that approximate the conditional expecta...
ISBI
2004
IEEE
15 years 12 months ago
Detection of Bronchovascular pairs on HRCT Lung Images Through Relational Learning
The identification of bronchovascular pairs on High Resolution Computer Tomography (HRCT) images provides valuable diagnostic information in patients with suspected airway disease...
Mithun Nagendra Prasad, Arcot Sowmya
CADE
2008
Springer
15 years 11 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
ICALP
2009
Springer
15 years 11 months ago
Towards a Study of Low-Complexity Graphs
Abstract. We propose the study of graphs that are defined by lowcomplexity distributed and deterministic agents. We suggest that this viewpoint may help introduce the element of in...
Sanjeev Arora, David Steurer, Avi Wigderson
ICASSP
2008
IEEE
15 years 5 months ago
A turbo-style algorithm for lexical baseforms estimation
In this research, an iterative and unsupervised Turbo-style algorithm is presented and implemented for the task of automatic lexical acquisition. The algorithm makes use of spoken...
Ghinwa F. Choueiter, Mesrob I. Ohannessian, Stepha...