2032 search results - page 222 / 407 » Relevance for browsing, relevance for searching |
116
Voted
CAV
2005
Springer
15 years 7 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
107
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present the application of evolutionary optimization methods to a demanding, industrially relevant engineering domain, the three-dimensional optimization of gas ...
135
click to vote
HPCC
2005
Springer
15 years 7 months ago
2005
Springer
Structured data represented in the form of graphs arises in several fields of the science and the growing amount of available data makes distributed graph mining techniques partic...
ERCIMDL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents the results of our study regarding the different facets and ways of using annotations in both digital libraries and collaboratories. This study repres...
102
click to vote
CIVR
2003
Springer
15 years 7 months ago
2003
Springer
bstract and display digital video surrogates. This study reports on an investigation of digital video results pages that use textual and visual surrogates. Twelve subjects selected...