3207 search results - page 297 / 642 » A Semantics for HTN Methods |
147
click to vote
FORTE
2001
15 years 6 months ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...
142
click to vote
ACL
1993
15 years 6 months ago
1993
In this paper we present a method to group adjectives according to their meaning, as a first step towards the automatic identification of adjectival scales. We discuss the propert...
117
click to vote
COLING
2008
15 years 4 months ago
2008
In this paper, we present a method for modeling joint information when generating n-best lists. We apply the method to a novel task of characterizing the similarity of a group of ...
142
click to vote
LOGCOM
2007
15 years 4 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
221
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...