Sciweavers

1188 search results - page 115 / 238
» Modeling synchronized time series
Sort
View
94
Voted
ASE
2008
135views more  ASE 2008»
15 years 1 months ago
Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
116
Voted
EMSOFT
2004
Springer
15 years 6 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
126
Voted
TNN
2011
129views more  TNN 2011»
14 years 8 months ago
Minimum Complexity Echo State Network
—Reservoir computing (RC) refers to a new class of state-space models with a fixed state transition structure (the “reservoir”) and an adaptable readout form the state space...
Ali Rodan, Peter Tino
111
Voted
ICRA
2008
IEEE
166views Robotics» more  ICRA 2008»
15 years 7 months ago
Quasiperiodic predictive filtering for robot-assisted beating heart surgery
— Beating heart procedures promise significant health benefits to patients but the fast motion of the heart poses a serious challenge to the surgeon. Robotic motion synchroniza...
Shelten G. Yuen, Paul M. Novotny, Robert D. Howe
LAWEB
2005
IEEE
15 years 6 months ago
A Parallel Search Engine with BSP
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...
Veronica Gil Costa, Mauricio Marín