2362 search results - page 85 / 473 » Programming in Standard ML |
107
Voted
SOFSEM
2009
Springer
16 years 13 days ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
147
click to vote
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Graphics processor units are fast, inexpensive parallel computing devices. Recently there has been great interest in harnessing this power for various types of scientific comp...
163
Voted
AGP
2010
IEEE
15 years 8 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
130
click to vote
UAI
2008
15 years 5 months ago
2008
Approximate linear programming (ALP) is an efficient approach to solving large factored Markov decision processes (MDPs). The main idea of the method is to approximate the optimal...
133
Voted
ICML
2010
IEEE
15 years 3 months ago
2010
IEEE
We investigate the sparse eigenvalue problem which arises in various fields such as machine learning and statistics. Unlike standard approaches relying on approximation of the l0n...