Sciweavers

7057 search results - page 264 / 1412
» Tasks, domains, and languages
Sort
View
198
Voted
SAS
1995
Springer
127views Formal Methods» more  SAS 1995»
15 years 10 months ago
Complementation in Abstract Interpretation
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
Agostino Cortesi, Gilberto Filé, Roberto Gi...
AMSTERDAM
2009
15 years 4 months ago
Vagueness Facilitates Search
This paper addresses the question why language is vague. A novel answer to this question is proposed, which complements other answers suggested in the literature. It claims that va...
Kees van Deemter
DISCEX
2003
IEEE
15 years 12 months ago
A Role-based Trust-management Framework
The RT Role-based Trust-management framework provides policy language, semantics, deduction engine, and pragmatic features such as application domain specification documents that...
Ninghui Li, John C. Mitchell
EACL
2006
ACL Anthology
15 years 8 months ago
Using Encyclopedic Knowledge for Named entity Disambiguation
We present a new method for detecting and disambiguating named entities in open domain text. A disambiguation SVM kernel is trained to exploit the high coverage and rich structure...
Razvan C. Bunescu, Marius Pasca
UML
2001
Springer
15 years 11 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France