1022 search results - page 16 / 205 » Stable models and circumscription |
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
Recent successful techniques for the efficient simulation of largescale interconnect models rely on the sparsification of the inverse of the inductance matrix L. While there are...
DOOD
1995
Springer
13 years 11 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
ICCAD
2008
IEEE
14 years 4 months ago
2008
IEEE