1911 search results - page 320 / 383 » Program analysis for code duplication in logic programs |
126
click to vote
ICIP
2008
IEEE
16 years 3 months ago
2008
IEEE
The allowable computational complexity of video encoding is limited in a power-constrained system. Different video frames are associated with different motions and contexts, and s...
DAC
2005
ACM
16 years 2 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
113
click to vote
KSEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
124
click to vote
PKDD
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
118
click to vote
FPL
2003
Springer
15 years 7 months ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...