4513 search results - page 549 / 903 » Logic programming with satisfiability |
137
click to vote
FPGA
2005
ACM
15 years 10 months ago
2005
ACM
We present an automatic logic synthesis method targeted for highperformance asynchronous FPGA (AFPGA) architectures. Our method transforms sequential programs as well as high-leve...
123
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...
118
click to vote
NGITS
1997
Springer
15 years 8 months ago
1997
Springer
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
161
click to vote
ATAL
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
130
click to vote
IJCAI
2007
15 years 6 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...