Sciweavers

5054 search results - page 250 / 1011
» simulation 2008
Sort
View
TCS
2008
15 years 6 months ago
On the decidability and complexity of the structural congruence for beta-binders
Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a stru...
Alessandro Romanel, Corrado Priami
JAIR
2007
127views more  JAIR 2007»
15 years 6 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 ...
TKDE
2008
96views more  TKDE 2008»
15 years 6 months ago
A Scrambling Method for Fingerprint Positioning Based on Temporal Diversity and Spatial Dependency
Signal strength fluctuation is one of the major problems in a fingerprint-based localization system. To alleviate this problem, we propose a scrambling method to exploit temporal d...
Sheng-Po Kuo, Yu-Chee Tseng
TSMC
2008
89views more  TSMC 2008»
15 years 6 months ago
A Probabilistic Wavelet System for Stochastic and Incomplete Data-Based Modeling
A probabilistic wavelet system (PWS) is proposed to model the unknown dynamic system with stochastic and incomplete data. When compared with the traditional wavelet system, the PWS...
Zhi Liu, Han-Xiong Li, Yun Zhang
TSP
2008
107views more  TSP 2008»
15 years 6 months ago
Time-Scale Modification of Speech Signals
This paper presents methods for independently modifying the time and pitch scale of acoustic signals, with an emphasis on speech signals. The algorithms developed here use paramet...
Brett Ninness, Soren J. Henriksen