6274 search results - page 900 / 1255 » Proofs, Programs, Processes |
148
Voted
ECML
2007
Springer
15 years 9 months ago
2007
Springer
Many data mining techniques are these days in use for ontology learning – text mining, Web mining, graph mining, link analysis, relational data mining, and so on. In the current ...
117
Voted
ESAW
2007
Springer
15 years 9 months ago
2007
Springer
The ubiquity of our increasingly distributed and complex computing environments have necessitated the development of programming approaches and paradigms that can automatically man...
98
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
112
Voted
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
We present a streaming algorithm for constructing sparse spanners and show that our algorithm out-performs significantly the state-of-the-art algorithm for this task [20]. Speci...
103
Voted
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...