683 search results - page 56 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
131
click to vote
ICMCS
1999
IEEE
15 years 9 months ago
1999
IEEE
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...
167
click to vote
ISMIS
1997
Springer
15 years 8 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
106
Voted
ICONIP
2007
15 years 6 months ago
2007
Abstract. The present paper addresses a general diagram to investigate the real-time parallel computation mechanism in the brain, using an idea of “Gantt chart.” This diagram e...
163
Voted
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
122
Voted
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
We give logical characterizations of bisimulation relations for the probabilistic automata of Segala in terms of three Hennessy-Milner style logics. The three logics characterize s...