Sciweavers

6583 search results - page 324 / 1317
» Semantic Analysis Patterns
Sort
View
IJON
2006
148views more  IJON 2006»
15 years 4 months ago
Spatio-temporal dynamics in fMRI recordings revealed with complex independent component analysis
Abstract. Independent component analysis (ICA) of functional magnetic resonance imaging (fMRI) data is commonly carried out under the assumption that each source may be represented...
Jörn Anemüller, Jeng-Ren Duann, Terrence...
SCP
2010
123views more  SCP 2010»
14 years 11 months ago
Slicing for architectural analysis
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
Nuno F. Rodrigues, Luís Soares Barbosa
CIARP
2011
Springer
14 years 4 months ago
Sentiment-Preserving Reduction for Social Media Analysis
Abstract. In this paper, we address the problem of opinion analysis using a probabilistic approach to the underlying structure of different types of opinions or sentiments around ...
Sergio Hernández, Philip Sallis
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 2 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
ICSE
2005
IEEE-ACM
16 years 4 months ago
Real-time specification patterns
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
Sascha Konrad, Betty H. C. Cheng