1413 search results - page 83 / 283 » ideas 2007 |
ICDIM
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes the basis of citation auctions that are introduced as a new approach to selecting scientific papers for publication. Unlike the state of the art in paper sele...
SSDBM
2007
IEEE
15 years 6 months ago
2007
IEEE
As relational database management systems are applied to non-traditional domains such as scientific data management, there is an increasing need to support queries with semantics ...
121
click to vote
ADAPTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Data Mining, or Knowledge Discovery as it is also known, is becoming increasingly useful in a wide variety of applications. In the following paper, we look at its use in ...
CSL
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
IFL
2007
Springer
15 years 6 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...