2530 search results - page 207 / 506 » Dynamic topological logic |
136
click to vote
WSC
2001
15 years 5 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...
108
click to vote
ICMAS
1998
15 years 5 months ago
1998
This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and inclu...
116
Voted
BIRTHDAY
2010
Springer
15 years 4 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...
141
Voted
ENTCS
2006
15 years 4 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...
122
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose a new approach to estimate gait kinematics from image sequences taken by a monocular uncalibrated camera. This approach involves two generative models for gait represen...