3793 search results - page 166 / 759 » Expressive Description Logics |
118
click to vote
COLING
2008
15 years 6 months ago
2008
Existing algorithms for the Generation of Referring Expressions tend to generate distinguishing descriptions at the semantic level, disregarding the ways in which surface issues c...
110
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
176
click to vote
INLG
2010
Springer
15 years 2 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
122
click to vote
MSE
2000
IEEE
15 years 9 months ago
2000
IEEE
With the increase of multimedia contents in the WWW, multimodal presentation using interactive life-like agents is attractive and becoming important. However, it is not easy for m...
140
click to vote
FTDCS
2004
IEEE
15 years 8 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...