Sciweavers

2899 search results - page 407 / 580
» Engineering Optimization Using a Simple Evolutionary Algorit...
Sort
View
CAV
1997
Springer
102views Hardware» more  CAV 1997»
15 years 8 months ago
Efficient Model Checking Using Tabled Resolution
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,...
Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramak...
ICML
1999
IEEE
16 years 5 months ago
Using Reinforcement Learning to Spider the Web Efficiently
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...
Jason Rennie, Andrew McCallum
CODES
2008
IEEE
15 years 11 months ago
System-level mitigation of WID leakage power variability using body-bias islands
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 ...
Siddharth Garg, Diana Marculescu
BIBE
2007
IEEE
214views Bioinformatics» more  BIBE 2007»
15 years 11 months ago
Histogram Transformation for Inter-Modality Image Registration
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...
Joerg Meyer
ENTCS
2002
98views more  ENTCS 2002»
15 years 4 months ago
Verified Code Generation for Embedded Systems
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
Sabine Glesner, Rubino Geiß, Boris Boesler