744 search results - page 38 / 149 » Observations on the Decidability of Transitions |
JGT
2008
13 years 9 months ago
2008
Mader conjectured that for all there is an integer + ( ) such that every digraph of minimum outdegree at least + ( ) contains a subdivision of a transitive tournament of order . In...
ICASSP
2011
IEEE
13 years 24 days ago
2011
IEEE
We present a novel online audio-score alignment approach for multiinstrument polyphonic music. This approach uses a 2-dimensional state vector to model the underlying score positi...
LPNMR
2007
Springer
14 years 3 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
WABI
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...