7991 search results - page 137 / 1599 » Using More Reasoning to Improve |
184
click to vote
ML
2000
ACM
15 years 5 months ago
2000
ACM
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
184
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Contemporary processors are becoming wider and more parallel. Thus developers must work hard to extract performance gains. An alternative computing paradigm is to use FPGA technolo...
194
click to vote
STAIRS
2008
15 years 7 months ago
2008
Since the beginning of the 1990's, the Internet has constantly grown, proposing more and more services and sources of information. The challenge is no longer to provide users ...
103
click to vote
DATE
2008
IEEE
16 years 14 days ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
166
click to vote
CIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. As a novel research direction, privacy-preserving data mining (PPDM) has received a great deal of attentions from more and more researchers, and a large number of PPDM al...