62 search results - page 8 / 13 » Ground Interpolation for Combined Theories |
IPMI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Volume segmentation is a relatively slow process and, in certain circumstances, the enormous amount of prior knowledge available is underused. Model-based liver segmentat...
CAGD
2005
14 years 9 months ago
2005
Given an m-dimensional surface in Rn , we characterize parametric curves in , which interpolate or approximate a sequence of given points pi and minimize a given energy functio...
CADE
2004
Springer
15 years 10 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
SIGIR
2003
ACM
15 years 2 months ago
2003
ACM
We propose a Bayesian extension to the ad-hoc Language Model. Many smoothed estimators used for the multinomial query model in ad-hoc Language Models (including Laplace and Bayes-...
TACAS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...