1356 search results - page 84 / 272 » A variable-free dynamic semantics |
IJCNN
2008
IEEE
15 years 4 months ago
2008
IEEE
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
GCC
2004
Springer
15 years 3 months ago
2004
Springer
This paper introduces a novel approach for dynamic service establishment in a virtual organization. To allow dynamism semantic information has to be processed. A common language is...
DEXA
1999
Springer
15 years 2 months ago
1999
Springer
In this paper we present a uniform approach to dynamic relationships in object oriented databases. We present our relationship categorisation based on dividing the object database ...
LFCS
2007
Springer
15 years 4 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
IEEECIT
2005
IEEE
15 years 3 months ago
2005
IEEE
Component based software development provides an architectural way for dynamic reconfiguration. Interactions between components are explicitly represented by connectors, then reco...