898 search results - page 79 / 180 » Transitions of the Pre-Symmetry Set |
205
click to vote
FOSSACS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
152
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
206
click to vote
VW
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a text-to-audiovisual speech synthesizer system incorporating the head and eye movements. The face is modeled using a set of images of a human subject. Visemes...
178
click to vote
NIPS
2004
15 years 7 months ago
2004
We study gender discrimination of human faces using a combination of psychophysical classification and discrimination experiments together with methods from machine learning. We r...
168
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...