84 search results - page 7 / 17 » Towards Optimal Range Medians |
SPIN
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
BMCBI
2011
13 years 1 months ago
2011
Background: Classification and variable selection play an important role in knowledge discovery in highdimensional data. Although Support Vector Machine (SVM) algorithms are among...
MICCAI
2004
Springer
14 years 10 months ago
2004
Springer
We propose an original approach for the segmentation of three-dimensional fields of probability density functions. This presents a wide range of applications in medical images proc...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
COR
2006
13 years 10 months ago
2006
This paper presents a formulation of the facilities block layout problem which explicitly considers uncertainty in material handling costs on a continuous scale by use of expected...