5022 search results - page 329 / 1005 » Data structures and problem solving using Java |
233
click to vote
ICDE
2005
IEEE
16 years 4 months ago
2005
IEEE
Many scientific applications generate massive volumes of data through observations or computer simulations, bringing up the need for effective indexing methods for efficient stora...
129
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
168
click to vote
KDD
2008
ACM
16 years 3 months ago
2008
ACM
The input to an algorithm that learns a binary classifier normally consists of two sets of examples, where one set consists of positive examples of the concept to be learned, and ...
101
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
144
Voted
ADBIS
2003
Springer
15 years 8 months ago
2003
Springer
The Web has become the world’s largest information source. Unfortunately, the main success factor of the Web, the inherent principle of distribution and autonomy of the participa...