2362 search results - page 150 / 473 » Programming in Standard ML |
139
Voted
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider the classical finite-state discounted Markovian decision problem, and we introduce a new policy iteration-like algorithm for finding the optimal state costs or Q-facto...
230
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
152
click to vote
NAR
2008
15 years 3 months ago
2008
Phylogenetic analyses are central to many research areas in biology and typically involve the identification of homologous sequences, their multiple alignment, the phylogenetic re...
149
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
265
click to vote
Book
"Assuming that you want to learn C++, why should you read this book rather than any of dozens of other introductory C++ books? One difference between this book and other intro...