152 search results - page 18 / 31 » On the Integration of Recursive ALN-Theories |
DATE
2004
IEEE
14 years 5 days ago
2004
IEEE
Presently, a necessary modification to mainstream analysis tools prevents the direct application of reluctance k. In this paper, we propose a reluctance realization algorithm (RRA...
ICML
1994
IEEE
13 years 12 months ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...
CACM
2010
13 years 8 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
In this paper, network-based cooperative control of nonlinear dynamical systems is investigated. A theorem on cooperative stability is presented for designing nonlinear consensus a...
ASPDAC
2009
ACM
14 years 2 months ago
2009
ACM
Abstract— In an effort to make processors more power efficient scratch pad memory (SPM) have been proposed instead of caches, which can consume majority of processor power. Howe...