Sciweavers

7961 search results - page 1055 / 1593
» Input-Output Model Programs
Sort
View
ICALP
2005
Springer
16 years 18 days ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
IDA
2005
Springer
16 years 18 days ago
Combining Bayesian Networks with Higher-Order Data Representations
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
Elias Gyftodimos, Peter A. Flach
IFIP
2005
Springer
16 years 18 days ago
Opacity Generalised to Transition Systems
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...
Jeremy Bryans, Maciej Koutny, Laurent Mazaré...
ISMIR
2005
Springer
128views Music» more  ISMIR 2005»
16 years 18 days ago
A Hierarchical Approach for Audio Stream Segmentation and Classification
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...
Wei Liang, Shuwu Zhang, Bo Xu
189
Voted
MIDDLEWARE
2005
Springer
16 years 18 days ago
Generic Middleware Substrate Through Modelware
Abstract. Conventional middleware architectures suffer from insufficient module-level reusability and the ability to adapt in face of functionality evolution and diversification....
Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen
« Prev « First page 1055 / 1593 Last » Next »