3047 search results - page 302 / 610 » On the Meaning of Logical Completeness |
211
click to vote
ICCCN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The switch architecture with the combined inputcrosspoint queueing (CICQ) scheme has been recognized as a practical promising solution for building cost-effective highp...
227
click to vote
PPSWR
2005
Springer
16 years 1 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
192
click to vote
SIGDOC
2004
ACM
16 years 29 days ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
220
click to vote
PLDI
2009
ACM
16 years 6 days ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
245
click to vote
JAR
2006
15 years 7 months ago
2006
Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Also motivated by the...