17054 search results - page 65 / 3411 » Logics of Dynamical Systems |
CADE
2010
Springer
13 years 9 months ago
2010
Springer
EUSFLAT
2009
13 years 7 months ago
2009
SEKE
2004
Springer
14 years 3 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
IAT
2009
IEEE
14 years 4 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
EUSFLAT
2009
13 years 7 months ago
2009
In this paper, we propose to develop the supervised classification method Fuzzy Pattern Matching to be in addition a non supervised one. The goal is to monitor dynamic systems with...