Sciweavers

3922 search results - page 420 / 785
» Working Models for Uncertain Data
Sort
View
CONCUR
2008
Springer
15 years 1 months ago
Unfolding-Based Diagnosis of Systems with an Evolving Topology
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara...
NIPS
2001
15 years 28 days ago
Bayesian time series classification
This paper proposes an approach to classification of adjacent segments of a time series as being either of classes. We use a hierarchical model that consists of a feature extract...
Peter Sykacek, Stephen J. Roberts
CL
2007
Springer
14 years 11 months ago
A bulk-synchronous parallel process algebra
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
Armelle Merlin, Gaétan Hains
IMCSIT
2010
14 years 6 months ago
Development of a Voice Control Interface for Navigating Robots and Evaluation in Outdoor Environments
In this paper the development of a prototypic mobile voice control for navigating autonomous robots within a multi robot system is described. As basis for the voice control a hidde...
Ravi Coote
104
Voted
TON
2010
127views more  TON 2010»
14 years 6 months ago
Queue Dynamics With Window Flow Control
This paper develops a new model that describes the queueing process of a communication network when data sources use window flow control. The model takes into account the burstines...
Ao Tang, Lachlan L. H. Andrew, Krister Jacobsson, ...