1333 search results - page 176 / 267 » Not a Number of Floating Point Problems |
137
click to vote
RSCTC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
103
click to vote
COLT
2008
Springer
15 years 6 months ago
2008
Springer
This paper describes an efficient reduction of the learning problem of ranking to binary classification. The reduction guarantees an average pairwise misranking regret of at most t...
157
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
124
click to vote
ICHIM
2001
15 years 5 months ago
2001
At excavations a large number of sherds of archaeological pottery is found. Since the documentation and administration of these fragments represent a temporal and personnel effort...
118
click to vote
APVIS
2009
15 years 5 months ago
2009
Particle-based simulations are a popular tool for researchers in various sciences. In combination with the availability of ever larger COTS clusters and the consequently increasin...