2899 search results - page 407 / 580 » Engineering Optimization Using a Simple Evolutionary Algorit... |
155
click to vote
CAV
1997
Springer
15 years 8 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
146
click to vote
ICML
1999
IEEE
16 years 5 months ago
1999
IEEE
Consider the task of exploring the Web in order to find pages of a particular kind or on a particular topic. This task arises in the construction of search engines and Web knowled...
139
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
Adaptive Body Biasing (ABB) is a popularly used technique to mitigate the increasing impact of manufacturing process variations on leakage power dissipation. The efficacy of the ...
138
click to vote
BIBE
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—This paper describes an efficient image transformation method based on histogram information and some prior knowledge of tissue expression in different modalities for r...
156
click to vote
ENTCS
2002
15 years 4 months ago
2002
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...