2530 search results - page 17 / 506 » Dynamic topological logic |
IDA
2003
Springer
14 years 21 days ago
2003
Springer
A broad range of mathematical techniques, ranging from statistics to fuzzy logic, have been used to great advantage in intelligent data analysis. Topology – the fundamental mathe...
PPL
2008
13 years 7 months ago
2008
Parallel functional programs with implicit communication often generate purely hierarchical communication topologies during execution: communication only happens between parent an...
CMMR
2004
Springer
14 years 27 days ago
2004
Springer
This paper discusses aspects of topology as relevant for loop dynamics as they occur in physical modeling synthesis algorithms. Boundary and interaction point behavior is treated p...
WIOPT
2010
IEEE
13 years 5 months ago
2010
IEEE
—Detecting events such as major routing changes or congestions in the dynamics of the internet topology is an important but challenging task. We explore here a top-down approach ...
ENTCS
2007
13 years 7 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...