Sciweavers

1323 search results - page 95 / 265
» Moment-Linear Stochastic Systems
Sort
View
ETFA
2005
IEEE
15 years 3 months ago
A multi-robot system for landmine detection
This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...
Pedro Santana, José Barata, H. Cruz, A. Mes...
IPPS
2000
IEEE
15 years 2 months ago
Optimal Periodic Remapping of Bulk Synchronous Computations on Multiprogrammed Distributed Systems
For bulk synchronous computations that have nondeterministic behaviors, dynamic remapping is an effective approach to ensure parallel efficiency. There are two basic issues in re...
Ngo-Tai Fong, Cheng-Zhong Xu, Le Yi Wang
CORR
1999
Springer
108views Education» more  CORR 1999»
14 years 9 months ago
Evaluation of the NLP Components of the OVIS2 Spoken Dialogue System
The NWO Priority Programme Language and Speech Technology is a 5-year research programme aiming at the development of spoken language information systems. In the Programme, two al...
Gert Veldhuijzen van Zanten, Gosse Bouma, Khalil S...
CMSB
2007
Springer
15 years 1 months ago
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus
This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...
Andrew Phillips, Luca Cardelli
FOSSACS
2008
Springer
14 years 11 months ago
Stochastic Games with Lossy Channels
We consider turn-based stochastic games on infinite graphs induced by game probabilistic lossy channel systems (GPLCS), the game version of probabilistic lossy channel systems (PLC...
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Al...