Sciweavers

384 search results - page 64 / 77
» On the Semantics of Markov Automata
Sort
View
115
Voted
ICIP
2007
IEEE
16 years 3 months ago
Joint Segmentation and Recognition of License Plate Characters
The segmentation and recognition modules are usually implemented sequentially in most traditional automatic license recognition (LPR) systems. In this work, we integrate segmentat...
Xin Fan, Guoliang Fan, Dequn Liang
122
Voted
ICASSP
2009
IEEE
15 years 8 months ago
Multi-modal activity and dominance detection in smart meeting rooms
In this paper a new approach for activity and dominance modeling in meetings is presented. For this purpose low level acoustic and visual features are extracted from audio and vid...
Benedikt Hörnler, Gerhard Rigoll
RP
2009
Springer
136views Control Systems» more  RP 2009»
15 years 8 months ago
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Gu...
116
Voted
ARTS
1999
Springer
15 years 6 months ago
Process Algebra with Probabilistic Choice
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
Suzana Andova
104
Voted
CMSB
2008
Springer
15 years 3 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin