1288 search results - page 116 / 258 » Visual Generalization in Programming by Example |
95
Voted
WOA
2003
15 years 4 months ago
2003
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...
114
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
127
Voted
ICFP
2009
ACM
15 years 9 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
139
Voted
MM
2005
ACM
15 years 8 months ago
2005
ACM
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
127
Voted
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...