4716 search results - page 688 / 944 » Tangible functional programming |
111
click to vote
VLDB
1987
ACM
15 years 2 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
135
click to vote
GI
2009
Springer
15 years 2 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...
115
click to vote
AAAI
2007
15 years 1 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....
AIPS
2008
15 years 1 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...
AMAST
2008
Springer
15 years 1 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...