1746 search results - page 172 / 350 » A Constructive Semantics for ALC |
165
click to vote
RIAO
2004
15 years 7 months ago
2004
We introduce a new method for automatically constructing concept hierarchies where the concept nodes follow a generalization / specialization relation. Starting from a set of conc...
181
click to vote
IWMMDBMS
1996
15 years 7 months ago
1996
We introduce a constraint-driven methodology for the automated assembly, organization and playout of presentations from multimedia databases. We use inclusion and exclusion constr...
178
click to vote
UAI
1996
15 years 7 months ago
1996
Developing a large belief network, like any large system, requires systems engineering to manage the design and construction process. We propose that network engineering follow a ...
155
click to vote
COLING
1992
15 years 7 months ago
1992
In this paper we present SINTESI, a system for the knowledge extraction from Italian inputs, currently under development in our re,search centre. It is used on short descriptive d...
143
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...