62 search results - page 8 / 13 » The measurement calculus |
93
Voted
IJCAI
1993
15 years 1 months ago
1993
In this paper a framework is developed for measuring the complexities of deductions in an ab stract and computationally perspicuous man ner. As a notion of central importance ...
88
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
ICIP
2002
IEEE
16 years 2 months ago
2002
IEEE
We present a new segmentation algorithm based on probabilistic histograms and introduce certainty calculus and certainty color maps to solve the difficult problem of histogram sep...
125
Voted
ENTCS
2011
14 years 6 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...
90
Voted
AIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...