Sciweavers

1127 search results - page 97 / 226
» General fuzzy linear systems
Sort
View
MFCS
1993
Springer
14 years 2 months ago
The Second Calculus of Binary Relations
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
Vaughan R. Pratt
FASE
2004
Springer
14 years 2 months ago
Specification and Analysis of Real-Time Systems Using Real-Time Maude
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
Peter Csaba Ölveczky, José Meseguer
NIPS
1998
14 years 5 hour ago
Learning Nonlinear Dynamical Systems Using an EM Algorithm
The Expectation Maximization EM algorithm is an iterative procedure for maximum likelihood parameter estimation from data sets with missing or hidden variables 2 . It has been app...
Zoubin Ghahramani, Sam T. Roweis
BMCBI
2007
172views more  BMCBI 2007»
13 years 10 months ago
Bayesian approaches to reverse engineer cellular systems: a simulation study on nonlinear Gaussian networks
Background: Reverse engineering cellular networks is currently one of the most challenging problems in systems biology. Dynamic Bayesian networks (DBNs) seem to be particularly su...
Fulvia Ferrazzi, Paola Sebastiani, Marco Ramoni, R...
AUTOMATICA
2007
238views more  AUTOMATICA 2007»
13 years 10 months ago
Fundamental limit of discrete-time systems in tracking multi-tone sinusoidal signals
This paper studies the tracking performance of linear time-invariant multi-variable discrete-time systems. The specific problem under consideration is to track a multi-tone sinus...
Weizhou Su, Li Qiu, Jie Chen