7106 search results - page 996 / 1422 » Restricted Complexity, General Complexity |
183
click to vote
EPIA
2005
Springer
16 years 13 days ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
182
click to vote
EUROPAR
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
200
click to vote
FASE
2005
Springer
16 years 13 days ago
2005
Springer
This work defines several control-flow coverage criteria for testing the interactions among a set of collaborating objects. The criteria are based on UML sequence diagrams that a...
186
click to vote
FPGA
2005
ACM
16 years 13 days ago
2005
ACM
Logic duplication is an effective method for improving circuit performance. In this paper we present an algorithm named SPD that performs simultaneous placement and duplication to...
173
click to vote
GECCO
2005
Springer
16 years 13 days ago
2005
Springer
Estimation of distribution algorithms (EDAs) try to solve an optimization problem by finding a probability distribution focussed around its optima. For this purpose they conduct ...