2302 search results - page 205 / 461 » Testing as Abstraction |
172
click to vote
DNA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Motivated by recent techniques developed for observing evolutionary dynamics of a single DNA molecule, we introduce a formal model for accepting an observed behavior of a...
194
click to vote
EGC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Grid technology attempts to support flexible, secure, coordinated information sharing among dynamic collections of individuals, institutions, and resources. The use of G...
144
click to vote
EMO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Multi-objective evolutionary algorithms (MOEAs) have proven to be a powerful tool for global optimization purposes of deterministic problem functions. Yet, in many real-w...
168
click to vote
ERCIMDL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The increase in the amount of data available in digital libraries calls for the development of search engines that allow the users to find quickly and effectively what ...
163
click to vote
ESA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The construction of t-spanners of a given point set has received a lot of attention, especially from a theoretical perspective. In this paper we perform the first extens...