4401 search results - page 587 / 881 » Computing with Default Logic |
178
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
155
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
Nanoscale crossbars built from nanowires can form high density memories and programmable logic devices. To integrate such nanoscale devices with other circuits, nanowire decoders ...
164
click to vote
ALENEX
2007
15 years 7 months ago
2007
In polyhedral studies of 0/1 polytopes two prominent problems exist. One is the vertex enumeration problem: Given a system of inequalities, enumerate its feasible 0/1 points. Anot...
153
click to vote
ACSW
2004
15 years 7 months ago
2004
This paper describes a method for risk analysis based on the approach used in CRAMM, but instead of using discrete measures for threats and vulnerabilities and lookup tables to de...
155
click to vote
COMMA
2006
15 years 7 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...