3932 search results - page 469 / 787 » Adaptive Index Structures |
159
click to vote
ISCAS
2003
IEEE
16 years 10 hour ago
2003
IEEE
In this paper we present a simplified analog VLSI inner hair cell model, which models the main characteristics of the biological inner hair cell, i.e., 1) soft half-wave rectifica...
201
click to vote
SAGA
2001
Springer
15 years 11 months ago
2001
Springer
We propose a generic, domain-independent local search method called adaptive search for solving Constraint Satisfaction Problems (CSP). We design a new heuristics that takes advan...
200
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
173
click to vote
APN
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to ...
134
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
- This paper presents a novel power management techniques based on enhanced Q-learning algorithms. By exploiting the submodularity and monotonic structure in the cost function of a...