2635 search results - page 261 / 527 » Computing multihomogeneous resultants using straight-line pr... |
PLDI
1997
ACM
15 years 4 months ago
1997
ACM
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
91
Voted
ESOP
2010
Springer
15 years 3 months ago
2010
Springer
Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser inter...
99
Voted
COLING
2002
15 years 12 days ago
2002
Natural languageprocessingNLP programsare confronted with various di culties in processing HTML and XML documents, and have the potential to produce better results if linguistic i...
106
Voted
MOC
1998
15 years 7 days ago
1998
A detailed exposition of Kneser’s neighbour method for quadratic lattices over totally real number fields, and of the sub-procedures needed for its implementation, is given. Usi...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Modern music production often uses pre-recorded pieces of audio, so-called samples, taken from a huge sample database. Consequently, there is an increasing demand to extensively a...