620 search results - page 12 / 124 » Concrete Abstractions |
ACRI
2006
Springer
14 years 3 months ago
2006
Springer
on Theory: Extended Abstract Natalie Fridman and Gal Kaminka Bar Ilan University, Israel The MAVERICK Group Computer Science Department {fridman,galk}cs.biu.ac.il Abstract. Modelin...
CORR
2000
Springer
13 years 9 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
VL
2000
IEEE
14 years 2 months ago
2000
IEEE
Five science teachers were observed during two selfstudy sessions where they learned to use Visual AgenTalk (VAT). In the first session they learned basic skills; in the second, t...
ISW
2000
Springer
14 years 1 months ago
2000
Springer
We propose a simple classification method for public-key based authentication protocols, which consists of identifying several basic properties leading to a large number of generic...
ACL
2010
13 years 6 months ago
2010
We present a generative model of template-filling in which coreference resolution and role assignment are jointly determined. Underlying template roles nerate abstract entities, w...