3573 search results - page 269 / 715 » Reasoning about Codata |
169
click to vote
EUROSSC
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
143
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
143
Voted
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
123
click to vote
ZUM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper presents some of our requirements for a Z typechecker: that the typechecker accept all well-typeable formulations, however contrived; that it gather informatio...
140
Voted
ICIP
1995
IEEE
15 years 8 months ago
1995
IEEE
We introduce a projection based multi-channel restoration method which is useful in cases for which there is no a priori information about the input signal. The method is especial...