4757 search results - page 698 / 952 » Monads for Functional Programming |
195
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: MeVisLab is a research and rapid prototyping platform for medical image processing developed by MeVis Medical Solutions AG and Fraunhofer MEVIS. We present an object-oriented app...
169
click to vote
AAAI
2007
15 years 7 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
134
click to vote
AIPS
2008
15 years 7 months ago
2008
We address the problem of coordinating the plans and schedules for a team of agents in an uncertain and dynamic environment. Bounded rationality, bounded communication, subjectivi...
129
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
132
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we present the PARO design tool for the automated hardware synthesis of massively parallel embedded architectures for given dataflow dominant applications....