Sciweavers

511 search results - page 29 / 103
» More Precise Partition Abstractions
Sort
View
ISMIS
2003
Springer
14 years 2 months ago
Comparing Hierarchical Markov Networks and Multiply Sectioned Bayesian Networks
Abstract. Multiply sectioned Bayesian networks (MSBNs) were originally proposed as a modular representation of uncertain knowledge by sectioning a large Bayesian network (BN) into ...
Cory J. Butz, H. Geng
IASTEDSE
2004
13 years 10 months ago
Flexible incremental development by integrating specification and code
This paper describes the use of executable specifications to ease incremental development, by providing more flexibility regarding the order in which modules are implemented. In t...
Patrick Schmid, Christine Hofmeister
BILDMED
2009
143views Algorithms» more  BILDMED 2009»
13 years 10 months ago
Landmark Constrained Non-parametric Image Registration with Isotropic Tolerances
Abstract. The incorporation of additional user knowledge into a nonrigid registration process is a promising topic in modern registration schemes. The combination of intensity base...
Nils Papenberg, Janine Olesch, Thomas Lange, Peter...
LPAR
2000
Springer
14 years 10 days ago
Efficient Structural Information Analysis for Real CLP Languages
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
ICIP
2007
IEEE
14 years 10 months ago
A Variational Approach to Exploit Prior Information in Object-Background Segregation: Application to Retinal Images
One of the main challenges in image segmentation is to adapt prior knowledge about the objects/regions that are likely to be present in an image, in order to obtain more precise d...
Luca Bertelli, Jiyun Byun, B. S. Manjunath