Sciweavers

7861 search results - page 426 / 1573
» Orthographic Modeling Environment
Sort
View
ICASSP
2008
IEEE
16 years 1 months ago
Dual-microphone speech dereverberation using GARCH modeling
In this paper, we develop a dual-microphone speech dereverberation algorithm for noisy environments, which is aimed at suppressing late reverberation and background noise. The spe...
Ari Abramson, Emanuel A. P. Habets, Sharon Gannot,...
QEST
2008
IEEE
16 years 1 months ago
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...
ICIC
2007
Springer
16 years 29 days ago
Usage of Hybrid Neural Network Model MLP-ART for Navigation of Mobile Robot
We suggest to apply the hybrid neural network based on multi layer perceptron (MLP) and adaptive resonance theory (ART-2) for solving of navigation task of mobile robots. This appr...
Andrey Gavrilov, Sungyoung Lee
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
16 years 3 days ago
A Model for Context-dependent Access Control for Web-based Services with Role-based Approach
Controlling access to resources is one of the most important protection goals for web-based services in practice. In general, access control requires identification of subjects t...
Ruben Wolf, Thomas Keinz, Markus Schneider
IPPS
2003
IEEE
16 years 2 days ago
Multiple Instruction Stream Control for an Associative Model of Parallel Computation
This paper describes a system software design for multiple instruction stream control in a massively parallel associative computing environment. The purpose of providing multiple ...
Michael Scherger, Johnnie W. Baker, Jerry L. Potte...