3793 search results - page 436 / 759 » Expressive Description Logics |
143
Voted
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a text generation system, XExplainer, which can dynamically produce a description of commodities in Korean from a relational database for homeshopping sites. ...
177
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Methods for performing component matching by expressing an arithmetic specification and a bit-level description of an implementation as word-level polynomials have been demonstrat...
178
click to vote
DISCO
1992
15 years 10 months ago
1992
We introduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of alge...
168
click to vote
BMAS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
136
click to vote
EUROPLOP
2006
15 years 8 months ago
2006
We present a set of methods to enable a cross-domain reuse of problem solutions via analysis patterns. First, problem-context descriptions and problemcontext models as well as sol...