8917 search results - page 284 / 1784 » Abstraction in Algorithm Animation |
138
Voted
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
190
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The basic idea to defend in this paper is that an adequate perception of the search space, sacrificing most of the precision, can paradoxically accelerate the discovery of the mo...
143
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
ICTIR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we present a new clustering algorithm which ex
125
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
Abstract