13977 search results - page 726 / 2796 » Evolution in complex systems |
175
click to vote
CSREAESA
2004
15 years 9 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
192
click to vote
IJCAI
1989
15 years 8 months ago
1989
Each concept description language and search strategy has an inherent inductive bias, a preference for some hypotheses over others. No single inductive bias performs optimally on ...
181
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
207
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new algorithm to solve sparse linear systems of equations over the integers. This algorithm is based on a p-adic lifting technique combined with the use of block matr...
185
click to vote
IJHPCA
2006
15 years 7 months ago
2006
The ability of performance technology to keep pace with the growing complexity of parallel and distributed systems depends on robust performance frameworks that can at once provid...