14244 search results - page 2170 / 2849 » Modeling Program Predictability |
160
click to vote
ICALP
2005
Springer
16 years 21 days ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...
191
click to vote
ICALP
2005
Springer
16 years 21 days ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
257
click to vote
IDA
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
181
click to vote
IFIP
2005
Springer
16 years 20 days ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
189
click to vote
ISMIR
2005
Springer
16 years 20 days ago
2005
Springer
This paper describes a hierarchical approach for fast audio stream segmentation and classification. With this approach, the audio stream is firstly segmented into audio clips by M...