Sciweavers

324 search results - page 37 / 65
» Guessing based on length functions
Sort
View
ATS
1997
IEEE
89views Hardware» more  ATS 1997»
14 years 1 months ago
Guaranteeing Testability in Re-encoding for Low Power
This paper considers the testability implications of low power design methodologies. Low power and high testability are shown to be highly contrasting requirements, and an optimiz...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Mau...
ICIP
2005
IEEE
14 years 10 months ago
Statistical categorization of human histological images
Histology is the science of understanding the structure of animals and plants, and studying the functional implications of biological structures. In this paper, we propose a stati...
Dehua Zhao, Yixin Chen, Nelson Correa
ICCV
1999
IEEE
14 years 9 months ago
Curve Finder Combining Perceptual Grouping and a Kalman Like Fitting
We present an algorithm that extracts curves from a set of edgels within a specific class in a decreasing order of their ``length''. The algorithm inherits the perceptual...
Frederic Guichard, Jean-Philippe Tarel
CADE
2004
Springer
14 years 9 months ago
Decision Procedures for Recursive Data Structures with Integer Constraints
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
Ting Zhang, Henny B. Sipma, Zohar Manna
DIS
2007
Springer
14 years 2 months ago
Fast NML Computation for Naive Bayes Models
Abstract. The Minimum Description Length (MDL) is an informationtheoretic principle that can be used for model selection and other statistical inference tasks. One way to implement...
Tommi Mononen, Petri Myllymäki