3207 search results - page 389 / 642 » A Semantics for HTN Methods |
164
click to vote
ICWE
2010
Springer
15 years 11 months ago
2010
Springer
Due to the availability of huge number of Web services (WSs), finding an appropriate WS according to the requirement of a service consumer is still a challenge. In this paper, we ...
175
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
154
click to vote
TSD
2001
Springer
15 years 11 months ago
2001
Springer
The problem of automatic text segmentation is subcategorized into two different problems: thematic segmentation into rather large topically selfcontained sections and splitting int...
183
click to vote
SIGIR
1999
ACM
15 years 10 months ago
1999
ACM
We present an approach to information retrieval based on context distance and morphology. Context distance is a measure we use to assess the closeness of word meanings. This conte...
162
click to vote
ECSQARU
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...