3207 search results - page 280 / 642 » A Semantics for HTN Methods |
144
Voted
TSD
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
150
click to vote
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
149
click to vote
ISKI
1992
15 years 8 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
144
Voted
FMCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
IGPL
1998
15 years 4 months ago
1998
Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching...