10715 search results - page 1822 / 2143 » From Tests to Proofs |
208
click to vote
IJAR
2010
15 years 5 months ago
2010
We consider the problem of learning Bayesian network models in a non-informative setting, where the only available information is a set of observational data, and no background kn...
171
click to vote
IJCCBS
2010
15 years 5 months ago
2010
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
168
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
Abstract. New text independent speaker identification method is presented. Phase spectrum of allpole linear prediction (LP) model is used to derive the speech features. The featur...
167
click to vote
INFORMS
2010
15 years 5 months ago
2010
We design and implement an intensity-modulated radiation therapy (IMRT) plan generation technology that effectively and efficiently optimizes beam geometry as well as beam intens...
202
click to vote
IR
2010
15 years 5 months ago
2010
Abstract We present a new ranking algorithm that combines the strengths of two previous methods: boosted tree classification, and LambdaRank, which has been shown to be empiricall...