3207 search results - page 287 / 642 » A Semantics for HTN Methods |
139
click to vote
JCST
2008
15 years 4 months ago
2008
Abstract Clustering text data streams is an important issue in data mining community and has a number of applications such as news group filtering, text crawling, document organiza...
147
click to vote
ISMIS
2000
Springer
15 years 8 months ago
2000
Springer
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
170
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
152
click to vote
JUCS
2007
15 years 4 months ago
2007
Abstract: Ranking is a ubiquitous requirement whenever we confront a large collection of atomic or interrelated artifacts. This paper elaborates on this issue for the case of RDF s...
152
click to vote
IMCSIT
2010
14 years 11 months ago
2010
In this paper, we have introduced a hierarchical object categorization method with automatic feature selection. A hierarchy obtained by natural similarities and properties is learn...