1356 search results - page 84 / 272 » A variable-free dynamic semantics |
122
Voted
IJCNN
2008
IEEE
15 years 10 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...
110
Voted
GCC
2004
Springer
15 years 9 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...
118
Voted
DEXA
1999
Springer
15 years 8 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 ...
127
Voted
LFCS
2007
Springer
15 years 9 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...
139
Voted
IEEECIT
2005
IEEE
15 years 9 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...