Sciweavers

1336 search results - page 182 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 9 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
153
Voted
SASO
2007
IEEE
15 years 9 months ago
Root Cause Isolation for Self Healing in J2EE Environments
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...
Umesh Bellur, Amar Agrawal
ICASSP
2008
IEEE
15 years 10 months ago
Exploiting contextual information for improved phoneme recognition
In this paper, we investigate the significance of contextual information in a phoneme recognition system using the hidden Markov model - artificial neural network paradigm. Cont...
Joel Pinto, B. Yegnanarayana, Hynek Hermansky, Mat...
133
Voted
ICIP
2005
IEEE
15 years 9 months ago
Image-based rendering and tracking of faces
In this paper, we present an image-based method for the tracking and rendering of faces. We use the algorithm in an immersive video conferencing system where multiple participants...
Peter Eisert, Jürgen Rurainsky
140
Voted
JIRS
1998
100views more  JIRS 1998»
15 years 3 months ago
Reactive Robots in the Service of Production Management
In this paper, we advocate the use of reactive robots in industrial process control and production management. It is explained why reactive robots are well-suited to modern industr...
Elpida Tzafestas