5205 search results - page 174 / 1041 » Tilings and model theory |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
RTS
2002
13 years 10 months ago
2002
This paper presents a Feedback Control real-time Scheduling (FCS) framework for adaptive realtime systems. An advantage of the FCS framework is its use of feedback control theory ...
ACAL
2007
Springer
14 years 2 months ago
2007
Springer
In this study, we describe an evolutionary mechanism
UAI
2004
13 years 11 months ago
2004
We develop the necessary theory in computational algebraic geometry to place Bayesian networks into the realm of algebraic statistics. We present an algebra
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we present a rich decision model for intelligent agents involved in multi issue negotiations. The model, grounded on information theory, takes into account the aspec...