3909 search results - page 536 / 782 » Extreme Model Checking |
185
click to vote
JMLR
2006
15 years 6 months ago
2006
Receiver Operating Characteristic (ROC) curves are a standard way to display the performance of a set of binary classifiers for all feasible ratios of the costs associated with fa...
154
click to vote
TASLP
2008
15 years 6 months ago
2008
This paper presents a novel online relevant set algorithm for a linearly-scored block sequence translation model. The key component is a new procedure to directly optimize the glob...
180
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We study the random m-ary search tree model (where m stands for the number of branches of the search tree), an important problem for data storage in computer science, using a varie...
155
click to vote
IDA
2000
Springer
15 years 6 months ago
2000
Springer
The discovery of characteristic rules is a well-known data mining task and has lead to several successful applications. However, because of the descriptive nature of characteristic...
150
click to vote
IAJIT
2010
15 years 4 months ago
2010
: Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermed...