Sciweavers

4592 search results - page 153 / 919
» Framework for Studying Substitution
Sort
View
SIGMETRICS
2010
ACM
203views Hardware» more  SIGMETRICS 2010»
14 years 10 months ago
An analytical framework to infer multihop path reliability in MANETs
Abstract Due to complexity and intractability reasons, most of the analytical studies on the reliability of communication paths in mobile ad hoc networks are based on the assumptio...
Nelson Antunes, Gonçalo Jacinto, Antó...
ICASSP
2010
IEEE
14 years 10 months ago
Using online model comparison in the Variational Bayes framework for online unsupervised Voice Activity Detection
This paper presents the use of online Variational Bayes method for online Voice Activity Detection (VAD) in an unsupervised context. In conventional VAD, the final step often rel...
David Cournapeau, Shinji Watanabe, Atsushi Nakamur...
AHS
2007
IEEE
202views Hardware» more  AHS 2007»
14 years 10 months ago
PERPLEXUS: Pervasive Computing Framework for Modeling Complex Virtually-Unbounded Systems
This paper introduces Perplexus, a European project that aims to develop a scalable hardware platform made of custom reconfigurable devices endowed with bio-inspired capabilities...
Eduardo Sanchez, Andrés Pérez-Uribe,...
CORR
2008
Springer
104views Education» more  CORR 2008»
14 years 10 months ago
A General Framework for Sound and Complete Floyd-Hoare Logics
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paul...
CORR
2006
Springer
131views Education» more  CORR 2006»
14 years 10 months ago
A framework of reusable structures for mobile agent development
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...
Tudor Marian, Bogdan Dumitriu, Mihaela Dinsoreanu,...