1204 search results - page 154 / 241 » Hybrid Probabilistic Programs |
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
129
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
An Internet Java Applet http://www.cs.essex.ac.uk/staff/poli/ SoloPong/ allows users anywhere to play the Solo Pong game. We compare people’s performance to a hand coded “Optim...
114
click to vote
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Multi-FPGA systems (MFS) are used for a great variety of applications, for instance, dynamically re-configurable hardware applications, digital circuit emulation, and num...
110
click to vote
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...
142
click to vote
AH
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents the methods used in a TV Recommender System that helps users in the difficult task of finding an interesting TV program from among the hundreds of channels that...