6740 search results - page 209 / 1348 » Using Classification as a Programming Language |
122
click to vote
PPOPP
2005
ACM
15 years 7 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
109
click to vote
FPCA
1989
15 years 6 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
125
click to vote
DALT
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...
CLEF
2010
Springer
15 years 3 months ago
2010
Springer
In this task 2,000 patents in three languages (English, French and German) were to be classified among approximately 600 categories. We used a classifier based on neural networks ...
138
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...