1989 search results - page 159 / 398 » Set functions for functional logic programming |
131
click to vote
JMLR
2006
15 years 3 months ago
2006
We propose a novel second order cone programming formulation for designing robust classifiers which can handle uncertainty in observations. Similar formulations are also derived f...
96
Voted
BTW
2009
Springer
15 years 6 months ago
2009
Springer
: BLINK is a prototype of an in-memory based query processor that exploits heavily the underlying CPU infrastructure. It is very sensitive to the processor’s caches and instructi...
123
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
158
click to vote
DAGM
2008
Springer
15 years 5 months ago
2008
Springer
This paper demonstrates how a simple, yet effective, set of features enables to integrate ensemble classifiers in optical flow based tracking. In particular, gray value differences...
138
click to vote
CPHYSICS
2006
15 years 3 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...