2302 search results - page 139 / 461 » Basic Description Logics |
115
click to vote
CORR
1998
Springer
15 years 3 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
145
click to vote
FPGA
2000
ACM
15 years 7 months ago
2000
ACM
In this paper we present a "high-level" FPGA architecture description language which lets FPGA architects succinctly and quickly describe an FPGA routing architecture. W...
158
click to vote
CSCW
2002
ACM
15 years 4 months ago
2002
ACM
Supporting awareness of others is an idea that holds promise for improving the usability of real-time distributed groupware. However, there is little principled information availa...
140
click to vote
BIS
2007
15 years 5 months ago
2007
The recent evolution of the Web, now designated by the term Web 2.0, has seen the appearance of a huge number of resources created and annotated by users. However the annotations ...
155
click to vote
ENTCS
2008
15 years 4 months ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...