2263 search results - page 351 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
101
Voted
IJIT
2004
15 years 2 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
125
click to vote
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
129
click to vote
IJRR
2008
15 years 1 months ago
2008
One of the most general frameworks for phrasing control problems for complex, redundant robots is operational space control. However, while this framework is of essential importan...
216
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
113
click to vote
COLT
2008
Springer
15 years 3 months ago
2008
Springer
In the multi-armed bandit (MAB) problem there are k distributions associated with the rewards of playing each of k strategies (slot machine arms). The reward distributions are ini...