3358 search results - page 316 / 672 » Dynamic Description Logics |
170
click to vote
WSC
2001
15 years 8 months ago
2001
Visualizing simulated construction operations is an effective means of communicating the logic and the inner working of simulation models in a comprehensive and comprehendible man...
146
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
183
click to vote
ENTCS
2006
15 years 6 months ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
188
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we study the modelling of consensus reaching in a ‘soft’ environment, i.e. when the individual testimonies are expressed as fuzzy preference relations. Here cons...
150
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— As for today, radio spectrum resource is rigidly partitioned for dedicated purposes. The exclusive license of fixed size spectrum blocks separated by guard bands easily solves...