4403 search results - page 717 / 881 » Galois Theory of Algorithms |
216
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Classification problems in critical applications such as health care or security often require very high reliability because of the high costs of errors. In order to achieve this r...
225
click to vote
CIIA
2009
15 years 8 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
213
click to vote
GISCIENCE
2010
Springer
15 years 8 months ago
2010
Springer
Regions which evolve over time are a significant aspect of many phenomena in geographic information science. Examples include areas in which a measured value (e.g. temperature, sal...
200
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
The Semantic Web consists of many billions of statements made of terms that are either URIs or literals. Since these terms usually consist of long sequences of characters, an effe...
173
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
We propose a network characterization of combinatorial fitness landscapes by adapting the notion of inherent networks proposed for energy surfaces [5]. We use the well-known fami...