Sciweavers

208 search results - page 34 / 42
» On an undecidable problem related to difference equations wi...
Sort
View
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
13 years 11 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
ESEM
2008
ACM
13 years 9 months ago
A constrained regression technique for cocomo calibration
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
Vu Nguyen, Bert Steece, Barry W. Boehm
VLSISP
1998
111views more  VLSISP 1998»
13 years 7 months ago
Quantitative Analysis of MR Brain Image Sequences by Adaptive Self-Organizing Finite Mixtures
This paper presents an adaptive structure self-organizing finite mixture network for quantification of magnetic resonance (MR) brain image sequences. We present justification fo...
Yue Wang, Tülay Adali, Chi-Ming Lau, Sun-Yuan...
ICIP
2004
IEEE
14 years 9 months ago
Statistical transformations of frontal models for non-frontal face verification
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
Conrad Sanderson, Samy Bengio
MICCAI
2006
Springer
14 years 8 months ago
Probabilistic Brain Atlas Encoding Using Bayesian Inference
This paper addresses the problem of creating probabilistic brain atlases from manually labeled training data. We propose a general mesh-based atlas representation, and compare diff...
Koen Van Leemput