734 search results - page 87 / 147 » Narrowing the Narrowing Space |
149
click to vote
CIKM
2007
Springer
16 years 11 days ago
2007
Springer
This paper describes Koru, a new search interface that offers effective domain-independent knowledge-based information retrieval. Koru exhibits an understanding of the topics of b...
164
click to vote
CSL
2007
Springer
16 years 10 days ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
152
click to vote
ESOP
2007
Springer
16 years 10 days ago
2007
Springer
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
173
click to vote
EUROPKI
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Anonymous secret sharing schemes allow a secret to be recovered from shares regardless of the identity of shareholders. Besides being interesting in its own right, this p...
151
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
In this paper, we describe an experiment to evolve oral tract (mouth) shapes for a set of vowels for two adult males. Target vowels were recorded in an acoustically anechoic room ...