8766 search results - page 1480 / 1754 » Functional logic programming |
144
click to vote
VLDB
1987
ACM
15 years 7 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...
181
Voted
GI
2009
Springer
15 years 6 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...
153
Voted
AAAI
2007
15 years 5 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....
125
Voted
AIPS
2008
15 years 5 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...
123
Voted
AMAST
2008
Springer
15 years 5 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...