4555 search results - page 260 / 911 » Deductive Algorithmic Knowledge |
139
click to vote
ISLPED
2009
ACM
15 years 9 months ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
132
click to vote
EPIA
1995
Springer
15 years 6 months ago
1995
Springer
In this paper, we study the retrieval problem in ALN, which is a tractable concept language with number restrictions. Following the approach proposed in [12], this work differs fr...
133
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
133
click to vote
DKE
2006
15 years 3 months ago
2006
In the past few years, the fast proliferation of available XML documents has stimulated a great deal of interest in discovering hidden and nontrivial knowledge from XML repositori...
130
click to vote
KBS
2002
15 years 2 months ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...