3005 search results - page 223 / 601 » Logical Information Systems: from Taxonomies to Logics |
167
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...
162
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
145
click to vote
MSE
2005
IEEE
16 years 6 days ago
2005
IEEE
A graduate-level computer engineering course sequence at the OGI School of Science and Engineering teaches state-of-the-art digital system design practices and system-on-chip desi...
139
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
: There has been an abundance of research within the last couple of decades in the area of multilevel secure (MLS) databases. Recent work in this field deals with the processing of...
170
click to vote
AIIA
2007
Springer
16 years 24 days ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...