490 search results - page 37 / 98 » Automated Generalization of Translation Examples |
218
click to vote
GIS
2005
ACM
16 years 1 months ago
2005
ACM
Georeferenced information is growing every day, and geographical information systems are becoming crucial in many decision processes. As a consequence, extracting knowledge from G...
119
click to vote
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
105
click to vote
TPHOL
2002
IEEE
15 years 5 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
107
Voted
ICLP
1995
Springer
15 years 4 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
134
Voted
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...