Sciweavers

1413 search results - page 78 / 283
» ideas 2007
Sort
View
ACTA
2005
92views more  ACTA 2005»
14 years 11 months ago
Type-based information flow analysis for the pi-calculus
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
Naoki Kobayashi
AUTOMATICA
2005
123views more  AUTOMATICA 2005»
14 years 11 months ago
Analysis and synthesis of switched linear control systems
Switched linear systems have a long history of interest in the control community, and have attracted considerable attention recently because they are not only practically relevant...
Zhendong Sun, Shuzhi Sam Ge
AUTOMATICA
2005
103views more  AUTOMATICA 2005»
14 years 11 months ago
Periodic signal analysis by maximum likelihood modeling of orbits of nonlinear ODEs
This paper treats a new approach to the problem of periodic signal estimation. The idea is to model the periodic signal as a function of the state of a second-order nonlinear ordi...
Torsten Söderström, Torbjörn Wigren...
CCE
2005
14 years 11 months ago
Monitoring process transitions by Kalman filtering and time-series segmentation
The analysis of historical process data of technological systems plays important role in process monitoring, modelling and control. Time-series segmentation algorithms are often u...
Balazs Feil, János Abonyi, Sandor Z. N&eacu...
JODS
2007
119views Data Mining» more  JODS 2007»
14 years 11 months ago
Semantic Matching: Algorithms and Implementation
We view match as an operator that takes two graph-like structures (e.g., classifications, XML schemas) and produces a mapping between the nodes of these graphs that correspond sema...
Fausto Giunchiglia, Mikalai Yatskevich, Pavel Shva...