15416 search results - page 2722 / 3084 » Embeddings of Computable Structures |
205
click to vote
IPMI
2003
Springer
16 years 15 hour ago
2003
Springer
A novel method for the segmentation of multiple objects from 3D medical images using inter-object constraints is presented. Our method is motivated by the observation that neighbor...
188
click to vote
DASFAA
2010
IEEE
15 years 12 months ago
2010
IEEE
Given a set of query points, a dynamic skyline query reports all data points that are not dominated by other data points according to the distances between data points and query po...
161
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— Many CAD for VLSI problems can be naturally encoded as Quantified Boolean Formulas (QBFs) and solved with QBF solvers. Furthermore, such problems often contain circuitbased in...
194
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
This paper addresses the problem of stochastic task execution time estimation agnostic to the process distributions. The proposed method is orthogonal to the application structure ...
204
click to vote
ITNG
2010
IEEE
15 years 12 months ago
2010
IEEE
— Clustering is a pivotal building block in many data mining applications and in machine learning in general. Most clustering algorithms in the literature pertain to off-line (or...