261 search results - page 9 / 53 » Detecting Temporal Logic Predicates on Distributed Computati... |
ACCV
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Research on temporal textures has concerned mainly modeling, synthesis and detection, but not finding changes between different temporal textures. Shot change detection, ...
DCOSS
2005
Springer
14 years 1 months ago
2005
Springer
We consider a scenario in which anonymous, finite-state sensing devices are deployed in an ad-hoc communication network of arbitrary size and unknown topology, and explore what p...
GCC
2007
Springer
13 years 11 months ago
2007
Springer
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
BANFF
1995
13 years 11 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
LOPSTR
2004
Springer
14 years 1 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...