Sciweavers

2022 search results - page 281 / 405
» Complexity of Non-Monotonic Logics
Sort
View
BPSC
2009
152views Business» more  BPSC 2009»
15 years 7 months ago
A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
Denis Gagné, André Trudel
GLVLSI
2007
IEEE
173views VLSI» more  GLVLSI 2007»
15 years 6 months ago
Modeling and estimating leakage current in series-parallel CMOS networks
This paper reviews the modeling of subthreshold leakage current and proposes an improved model for general series-parallel CMOS networks. The presence of on-switches in off-networ...
Paulo F. Butzen, André Inácio Reis, ...
CORR
2010
Springer
120views Education» more  CORR 2010»
15 years 6 months ago
State machine models of timing and circuit design
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
Victor Yodaiken
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 6 months ago
A database approach to information retrieval: The remarkable relationship between language models and region models
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
Djoerd Hiemstra, Vojkan Mihajlovic
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 6 months ago
On Termination for Faulty Channel Machines
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of...
Patricia Bouyer, Nicolas Markey, Joël Ouaknin...