2314 search results - page 402 / 463 » Monoids over domains |
DAC
2002
ACM
16 years 24 days ago
2002
ACM
Research in algorithms for Boolean satisfiability and their efficient implementations [26, 8] has recently outpaced benchmarking efforts. Most of the classic DIMACS benchmarks fro...
130
click to vote
MICCAI
2003
Springer
16 years 22 days ago
2003
Springer
In this paper we present a method for simulating bleeding in a virtual reality hysteroscopic simulator for surgical training. The simulated bleeding is required to be visually app...
ICML
2008
IEEE
16 years 20 days ago
2008
IEEE
We present a reinforcement learning architecture, Dyna-2, that encompasses both samplebased learning and sample-based search, and that generalises across states during both learni...
102
click to vote
SIGSOFT
2006
ACM
16 years 17 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
104
click to vote
WWW
2009
ACM
16 years 16 days ago
2009
ACM
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...