3799 search results - page 603 / 760 » An Engineering Approach to Formal Methods |
142
click to vote
SIGMOD
2001
ACM
16 years 5 months ago
2001
ACM
Over the last decades, improvements in CPU speed have outpaced improvements in main memory and disk access rates by orders of magnitude, enabling the use of data compression techn...
172
click to vote
TCIAIG
2010
14 years 11 months ago
2010
In this paper, we applied online neuroevolution to evolve nonplayer characters for The Open Racing Car Simulator (TORCS). While previous approaches allowed online learning with per...
148
click to vote
VLSID
2007
IEEE
16 years 5 months ago
2007
IEEE
Crosstalk noise in the clock network of digital circuits is often detected late in the design cycle, sometimes as late as after first silicon. It is therefore necessary to fix cros...
160
Voted
CCE
2004
15 years 5 months ago
2004
Optimal control problems involve the difficult task of determining time-varying profiles through dynamic optimization. Such problems become even more complex in practical situatio...
142
click to vote
CSE
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract—The permanent growth of personal music collections caused by the ongoing digital revolution asks for novel ways of organization. Traditional list based approaches are—...