3909 search results - page 598 / 782 » Extreme Model Checking |
143
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Shannon information in the genomes of all completely sequenced prokaryotes and eukaryotes are measured in word lengths of two to ten letters. It is found that in a scale-dependent...
200
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A major characteristic of text document categorization problems is the extremely high dimensionality of text data. In this paper we explore the usability of the Oscillati...
150
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper extends previous work showing how fluctuating crosstalk in a deterministic fitness function introduces noise into genetic algorithms. In that work, we modeled fluctuati...
173
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Clock-tuning has been classified as important but tough tasks due to the non-convex nature caused by the skew requirements. As a result, all existing mathematical programming appr...
189
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...