2540 search results - page 150 / 508 » Abstract Logics as Dialgebras |
173
click to vote
RWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...
149
click to vote
ATVA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
151
click to vote
VTS
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
152
click to vote
GLVLSI
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— PIM Lite is a processor-in-memory prototype implemented in a 0.18 micron logic process. PIM Lite provides a complete working demonstration of a minimal-state, lightweig...
157
click to vote
CP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...