3733 search results - page 146 / 747 » Logics of communication and change |
130
click to vote
TPLP
2002
15 years 28 days ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
125
click to vote
FPGA
2004
ACM
15 years 6 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...
110
click to vote
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
—We explore the design of a logically centralized but physically distributed control plane for 4D architecture. 4D architecture proposes centralization of network-wide decision m...
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes two research projects that develop new low-cost techniques for testing devices with multiple high-speed (2 to 5 Gbps) signals. Each project uses commercially ...