3733 search results - page 153 / 747 » Logics of communication and change |
PACS
2004
Springer
15 years 6 months ago
2004
Springer
Dynamic instruction scheduling logic is one of the most critical components of modern superscalar microprocessors, both from the delay and power dissipation standpoints. The delay ...
129
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
131
click to vote
MSCS
2007
15 years 25 days ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
ICWE
2009
Springer
15 years 7 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...