1134 search results - page 214 / 227 » Composing Tests from Examples |
108
Voted
IEEEARES
2009
IEEE
15 years 5 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...
ICPPW
2009
IEEE
15 years 5 months ago
2009
IEEE
—In this paper, we investigate the differences and tradeoffs imposed by two parallel Haskell dialects running on multicore machines. GpH and Eden are both constructed using the h...
108
Voted
SCIA
2009
Springer
15 years 5 months ago
2009
Springer
Many computer vision problems can be formulated as low rank bilinear minimization problems. One reason for the success of these problems is that they can be efficiently solved usin...
98
Voted
3DIM
2007
IEEE
15 years 5 months ago
2007
IEEE
In this contribution we introduce the Multiocular Contracting Curve Density algorithm (MOCCD), a novel method for fitting a 3D parametric curve. The MOCCD is integrated into a tr...
89
Voted
AIME
2007
Springer
15 years 5 months ago
2007
Springer
This paper discusses variable selection for medical decision making; in particular decisions regarding when to provide treatment and which treatment to provide. Current variable se...