Sciweavers

4872 search results - page 320 / 975
» CBR for Modeling Complex Systems
Sort
View
CONCUR
2000
Springer
15 years 11 months ago
Weak Bisimulation for Probabilistic Systems
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
Anna Philippou, Insup Lee, Oleg Sokolsky
CMSB
2008
Springer
15 years 8 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
CORR
2008
Springer
73views Education» more  CORR 2008»
15 years 6 months ago
On acceptance conditions for membrane systems: characterisations of L and NL
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...
Niall Murphy, Damien Woods
TWC
2008
137views more  TWC 2008»
15 years 6 months ago
Ml joint CFO and channel estimation in OFDM systems with timing ambiguity
This letter addresses the problem of joint estimation of carrier frequency offset (CFO) and channel for OFDM systems in the presence of timing ambiguity. Based on two signal models...
Jianwu Chen, Yik-Chung Wu, Shaodan Ma, Tung-Sang N...
COLING
2002
15 years 6 months ago
Semantics-based Representation for Multimodal Interpretation in Conversational Systems
To support context-based multimodal interpretation in conversational systems, we have developed a semantics-based representation to capture salient information from user inputs an...
Joyce Y. Chai