3706 search results - page 53 / 742 » OntoComP System Description |
123
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
138
click to vote
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
We describe our initial investigations into generating textual summaries of spatiotemporal data with the help of a prototype Natural Language Generation (NLG) system that produces...
135
click to vote
AVI
2000
15 years 5 months ago
2000
The Cognitive Dimensions framework outlined here is generalised broad-brush approach to usability evaluation for all types of information artifact, from programming languages thro...
149
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
135
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The vision of Semantic Web services is that computer systems shall find eligible services autonomously. This can be realised with providing semantic description about ad...