4737 search results - page 121 / 948 » The LOGIC negotiation model |
111
click to vote
WLP
2005
Springer
15 years 8 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
134
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper examines the effect of technology scaling and microarchitectural trends on the rate of soft errors in CMOS memory and logic circuits. We describe and validate an end-to...
134
Voted
JELIA
2000
Springer
15 years 7 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
186
click to vote
ER
1995
Springer
15 years 7 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
139
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...