1288 search results - page 155 / 258 » Visual Generalization in Programming by Example |
122
Voted
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
133
click to vote
PODS
2008
ACM
16 years 3 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
145
click to vote
ERLANG
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
133
click to vote
DASFAA
2008
IEEE
15 years 5 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...