Sciweavers

5707 search results - page 19 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
ICC
2009
IEEE
135views Communications» more  ICC 2009»
14 years 2 months ago
Block Detection of Multiple Symbol DPSK in a Statistically Unknown Time-Varying Channel
—We present a detection scheme for multiple-symbol DPSK for use in a statistically unknown time-varying channel. The scheme relies on a parametric representation of the timevaryi...
Nathan Ricklin, James R. Zeidler
JAIR
2007
127views more  JAIR 2007»
13 years 7 months ago
Learning Symbolic Models of Stochastic Domains
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...
Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack ...
ADBIS
2001
Springer
112views Database» more  ADBIS 2001»
14 years 4 days ago
Detecting Termination of Active Database Rules Using Symbolic Model Checking
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
Indrakshi Ray, Indrajit Ray
GW
1999
Springer
116views Biometrics» more  GW 1999»
13 years 12 months ago
Temporal Symbolic Integration Applied to a Multimodal System Using Gestures and Speech
Abstract. This paper presents a technical approach for temporal symbol integration aimed to be generally applicable in unimodal and multimodal user interfaces. It draws its strengt...
Timo Sowa, Martin Fröhlich, Marc Erich Latosc...
ICNC
2005
Springer
14 years 1 months ago
Reaction-Driven Membrane Systems
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
Luca Bianco, Federico Fontana, Vincenzo Manca