Sciweavers

3634 search results - page 607 / 727
» The Field Representation Language
Sort
View
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 8 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
164
Voted
CLEF
2006
Springer
15 years 7 months ago
QolA: Fostering Collaboration Within QA
In this paper we suggest a QA pilot task, dubbed QolA, whose joint rationale is allow for collaboration among systems, increase multilinguality and multicollection use, and investi...
Diana Santos, Luís Costa
128
Voted
ECOOP
2008
Springer
15 years 5 months ago
A Unified Framework for Verification Techniques for Object Invariants
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
Sophia Drossopoulou, Adrian Francalanza, Peter M&u...
LREC
2008
139views Education» more  LREC 2008»
15 years 5 months ago
Words in Contexts: Digital Editions of Literary Journals in the "AAC - Austrian Academy Corpus"
In this paper two highly innovative digital editions will be presented. For the creation and the implementation of these editions the latest developments within corpus research ha...
Hanno Biber, Evelyn Breiteneder, Karlheinz Mö...
ACL
2006
15 years 5 months ago
Automatic Classification of Verbs in Biomedical Texts
away concepts from the surface form of the text. The authors argue that while there has been research into automatic classification, general classification schemes are unsuitable f...
Anna Korhonen, Yuval Krymolowski, Nigel Collier