3909 search results - page 580 / 782 » Extreme Model Checking |
155
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Conventional global routing minimizes total wire length and congestion. Experiments using large industrial benchmark circuits show that up to 24% of nets in such routing solutions...
164
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We consider the exploration/exploitation problem in reinforcement learning (RL). The Bayesian approach to model-based RL offers an elegant solution to this problem, by considering...
173
click to vote
ICML
2001
IEEE
16 years 7 months ago
2001
IEEE
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
153
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
206
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We combine a pen and pressure-sensitive tablet input device, and a sketch-based user initialization process, with a general subdivisioncurve Snake to create an intuitive, fast, ac...