1246 search results - page 88 / 250 » Recursive Timed Automata |
86
Voted
PRIMA
2009
Springer
15 years 7 months ago
2009
Springer
In this article, we propose a method to adapt stepsize parameters used in reinforcement learning for dynamic environments. In general reinforcement learning situations, a stepsize...
95
Voted
ISPD
2004
ACM
15 years 6 months ago
2004
ACM
Many current designs contain a large number of standard cells intermixed with larger macro blocks. The range of size in these “mixed block” designs complicates the placement p...
120
Voted
EURODAC
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper presents Resist, a recursive test pattern generation (TPG) algorithm for path delay fault testing of scan-based circuits. In contrast to other approaches, it exploits t...
90
Voted
BEHAVIOURIT
2005
15 years 22 days ago
2005
Touchpad devices are widely used but lacking in pointing efficiency. The TouchGrid, an instance of what we term cell cursors, replaces moving the cursor through dragging the finger...
102
Voted
ITP
2010
15 years 4 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...