2530 search results - page 7 / 506 » Dynamic topological logic |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Topological dynamics of cellular automata (CA), inherited from classical dynamical systems theory, has been essentially studied in
ISPD
1999
ACM
13 years 11 months ago
1999
ACM
There is an increasing need in modern VLSI designs for circuits implemented in high-performance logic families such as Cascode Voltage Switch Logic, Pass Transistor Logic, and dom...
ICDT
1997
ACM
13 years 11 months ago
1997
ACM
We consider spatial databases and queries definable using first-order logic and real polynomial inequalities. We are interested in topological queries: queries whose result only ...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— A multi-channel wireless mesh network (MCWMN) consists of a number of stationary wireless routers, where each router is equipped with multiple network interface cards (...
AIML
2008
13 years 9 months ago
2008
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...