2299 search results - page 79 / 460 » Logical Data Expiration |
76
Voted
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
117
Voted
SLOGICA
2010
14 years 7 months ago
2010
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...
95
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...
88
Voted
ICCD
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper introduces a new method for deterministic diagnosis of logic cores. The proposed method is based on onchip decompression and comparison of incompletely specified test ...
107
click to vote
GCB
2009
Springer
14 years 10 months ago
2009
Springer
Abstract: A comparative interaction detection paradigm is proposed to study the complex gene regulatory networks that control cell proliferation during development. Instead of atte...