21984 search results - page 625 / 4397 » C |
175
click to vote
RTA
2010
Springer
15 years 9 months ago
2010
Springer
We consider the problem of computing, out of a set C of trees and a rewrite system R, those trees in C that cannot be rewritten into a tree in C. We solve this problem for sets of ...
177
click to vote
DLOG
2001
15 years 8 months ago
2001
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on t...
174
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Therehasbeensurprisinglylittle researchso far that systematicallyinvestigatedthe possibilityof constructinghybrid learningalgorithmsbysimplelocal modificationsto decision tree lea...
172
click to vote
FORTE
2003
15 years 8 months ago
2003
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...
232
click to vote
CCCG
2009
15 years 8 months ago
2009
We solve instances of a general class of problems defined as follows: Preprocess a set S of possibly weighted colored geometric objects (e.g. points/orthogonal segments/rectangles...