15792 search results - page 205 / 3159 » Computational Abstraction Steps |
159
click to vote
EUROPLOP
2006
15 years 7 months ago
2006
: The usability of a computer system can be improved by design of the user interface, and, as importantly, by design of usersystem interactions. Our research presents usability-imp...
118
click to vote
COR
2006
15 years 6 months ago
2006
We present an algorithm to compute the (pre)-kernel of a TU-game N, v with a system of n 2 1 linear programming problems. In contrast to the algorithms using convergence methods t...
146
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
In 1998 Asperti and Mairson proved that the cost of reducing a lambda-term using an optimal lambda-reducer (a la L´evy) cannot be bound by any elementary function in the number o...
176
click to vote
TREC
2003
15 years 7 months ago
2003
500,000 PubMed abstracts. However, less than 50 documents are relevant for most queries. Applying scoring to all 500,000 abstracts would create a lot of noise. In the first step, ...
160
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. With recent advances in sensory and mobile computing technology, enormous amounts of data about moving objects are being collected. With such data, it becomes possible to...