413 search results - page 49 / 83 » On Product Logic with Truth-constants |
FPL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Increasing logic resources coupled with a proliferation of integrated performance enhancing primitives in high-end FPGAs results in an increased design complexity which r...
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
102
click to vote
XSYM
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we describe an approach to boosting the performance of an XQuery engine by identifying and exploiting opportunities to share processing both within and across XML qu...
102
click to vote
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
A core prescription from the knowledge management movement is that the successful management of organizational knowledge will prevent firms from “reinventing the wheel.” Infor...