4245 search results - page 596 / 849 » Input Modeling |
159
click to vote
TSE
2010
15 years 5 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
207
click to vote
ISBI
2011
IEEE
14 years 10 months ago
2011
IEEE
Studying image intensity change in each pixel in dynamic contrast enhanced (DCE)-MRI data enables differentiation of different tissue types based on their difference in contrast u...
173
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
165
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Understanding the variation of recombination rates across a given genome is crucial for disease gene mapping and for detecting signatures of selection, to name just a couple of app...
200
click to vote
STOC
2005
ACM
16 years 7 months ago
2005
ACM
We study an extension of the "standard" learning models to settings where observing the value of an attribute has an associated cost (which might be different for differ...