Sciweavers

815 search results - page 88 / 163
» Complexity classes for membrane systems
Sort
View
FMOODS
2008
13 years 9 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
TWC
2008
150views more  TWC 2008»
13 years 7 months ago
Combining Beamforming and Space-Time Coding Using Quantized Feedback
We combine space-time coding and transmit beamforming over multiple-antenna quasi-static fading channels using resolution-constrained channel state information at the transmitter ...
Siavash Ekbatani, Hamid Jafarkhani
ENVSOFT
2000
70views more  ENVSOFT 2000»
13 years 7 months ago
Modeling soil pile bioremediation
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...
Fehmidakhatun A. Mesania, Aaron A. Jennings
CORR
2010
Springer
102views Education» more  CORR 2010»
13 years 7 months ago
On Factor Universality in Symbolic Spaces
The study of factoring relations between subshifts or cellular automata is central in symbolic dynamics. Besides, a notion of intrinsic universality for cellular automata based on ...
Laurent Boyer, Guillaume Theyssier
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
13 years 6 months ago
Modeling and decision making in spatio-temporal processes for environmental surveillance
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
Amarjeet Singh 0003, Fabio Ramos, Hugh D. Whyte, W...