6881 search results - page 191 / 1377 » Motivation |
143
Voted
DLOG
2004
15 years 7 months ago
2004
Recently, it was shown for the DL EL that subsumption and instance problem w.r.t. cyclic terminologies can be decided in polynomial time. In this paper, we show that both problems...
152
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
In this paper, we first motivate and summarize our recent work on creation, management, and specifically merging of partial behavioural models, expressed as model transition system...
163
Voted
DAGSTUHL
2006
15 years 7 months ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
178
Voted
ESANN
2004
15 years 7 months ago
2004
There has been recently a lot of interest for functional data analysis [1] and extensions of well-known methods to functional inputs (clustering algorithm [2], non-parametric model...
160
click to vote
EACL
2006
ACL Anthology
15 years 7 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...