5506 search results - page 57 / 1102 » Minimal Logic Programs |
124
click to vote
SIGSOFT
2010
ACM
15 years 10 days ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
127
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
125
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
A regular circuit structure called a Whirlpool PLA (WPLA) is proposed. It is suitable for the implementation of finite state machines as well as combinational logic. A WPLA is ...
112
click to vote
AMAI
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...
111
click to vote
ISPD
1998
ACM
15 years 6 months ago
1998
ACM
It is shown that the oorplan area minimization problem can be formulated as a convex programming problem with the numbers of variables and constraints signi cantly less than those...