Sciweavers

4597 search results - page 585 / 920
» Structuring Agents for Adaptation
Sort
View
UM
2005
Springer
16 years 7 days ago
A Framework of Context-Sensitive Visualization for User-Centered Interactive Systems
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...
Eui-Chul Jung, Keiichi Sato
IEEEINTERACT
2003
IEEE
16 years 1 days ago
Compiler-Directed Resource Management for Active Code Regions
Recent studies on program execution behavior reveal that a large amount of execution time is spent in small frequently executed regions of code. Whereas adaptive cache management ...
Ravikrishnan Sree, Alex Settle, Ian Bratt, Daniel ...
ISCAS
2003
IEEE
88views Hardware» more  ISCAS 2003»
16 years 21 hour ago
A small analog VLSI inner hair cell model
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...
André van Schaik
SAGA
2001
Springer
15 years 11 months ago
Yet Another Local Search Method for Constraint Solving
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...
Philippe Codognet, Daniel Diaz
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
15 years 11 months ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
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,...
Christoph Meinel, Christian Stangier