Sciweavers

3370 search results - page 245 / 674
» Correlation Embedding Analysis
Sort
View
ICANN
2009
Springer
15 years 11 months ago
Decomposition Methods for Detailed Analysis of Content in ERP Recordings
The processes giving rise to an event related potential engage several evoked and induced oscillatory components, which reflect phase or non-phase locked activity throughout the mu...
Vasiliki Iordanidou, Kostas Michalopoulos, Vangeli...
PRDC
2008
IEEE
15 years 10 months ago
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
Jennifer Black, Philip Koopman
VL
2008
IEEE
130views Visual Languages» more  VL 2008»
15 years 10 months ago
Visualization for information exploration and analysis
Making sense of data becomes more challenging as the data grows larger and becomes more complex. If a picture truly can be worth a thousand words, then clever visualizations of da...
John T. Stasko
RTCSA
2006
IEEE
15 years 10 months ago
Characterization and Analysis of Tasks with Offsets: Monotonic Transactions
This article introduces the concept of monotonic transactions. A monotonic transaction is a particular case of transactions for which the load arrival pattern is (or can be by rot...
Karim Traore, Emmanuel Grolleau, Francis Cottet
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 9 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...