Sciweavers

29908 search results - page 325 / 5982
» On the Complexity of
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
JCP
2007
150views more  JCP 2007»
15 years 6 months ago
Bayesian Networks and Evidence Theory to Model Complex Systems Reliability
Abstract— This paper deals with the use of Bayesian Networks to compute system reliability of complex systems under epistemic uncertainty. In the context of incompleteness of rel...
Christophe Simon, Philippe Weber, Eric Levrat
TSP
2008
174views more  TSP 2008»
15 years 6 months ago
Complex ICA Using Nonlinear Functions
We introduce a framework based on Wirtinger calculus for nonlinear complex-valued signal processing such that all computations can be directly carried out in the complex domain. Th...
Tülay Adali, Hualiang Li, Mike Novey, J.-F. C...
CGF
2004
144views more  CGF 2004»
15 years 6 months ago
Crowd of Virtual Humans: a New Approach for Real Time Navigation in Complex and Structured Environments
The navigation activity is an every day practice for any human being capable of locomotion. Our objective in this work is to reproduce this crucial human activity inside virtual e...
Fabrice Lamarche, Stéphane Donikian
COGSCI
2004
82views more  COGSCI 2004»
15 years 6 months ago
Restricting grammatical complexity
of natural language syntax often characterize grammatical knowledge as a form of abstract computation. This paper argues that such a characterization is correct, and that fundamen...
Robert Frank