Sciweavers

1000 search results - page 113 / 200
» Dependency Tree Automata
Sort
View
95
Voted
ENTCS
2007
97views more  ENTCS 2007»
15 years 23 days ago
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
Harald Fecher, Heiko Schmidt
IEEECIT
2010
IEEE
14 years 11 months ago
Predicting Events for the Simulation of Hybrid Systems
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
Kerstin Bauer, Klaus Schneider
111
Voted
ICCS
2009
Springer
14 years 10 months ago
A Nonlinear Master Equation for a Degenerate Diffusion Model of Biofilm Growth
We present a continuous time/discrete space model of biofilm growth, starting from the semi-discrete master equation. The probabilities of biomass movement into neighboring sites d...
Hassan Khassehkhan, Thomas Hillen, Hermann J. Eber...
109
Voted
ICIP
1999
IEEE
16 years 2 months ago
Adaptive Wavelet-Packet Decomposition for Rate Control of Object Oriented Coding of Video Sequences
A novel object dependent coding scheme based on optimization upon wavelet packet trees is proposed. The method may be employed in the context of object oriented video standard MPE...
Ioannis Stephanakis, Anastasios D. Doulamis, Nikol...
135
Voted
CISS
2007
IEEE
15 years 4 months ago
Energy Efficient Routing for Statistical Inference of Markov Random Fields
The problem of routing of sensor observations for optimal detection of a Markov random field (MRF) at a designated fusion center is analyzed. Assuming that the correlation structur...
Animashree Anandkumar, Lang Tong, Ananthram Swami