519 search results - page 77 / 104 » Using Goal-Models to Analyze Variability |
DC
2010
13 years 8 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
TRIER
2002
13 years 8 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
IDA
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Independent Subspace Analysis (ISA) is an extension of Independent Component Analysis (ICA) that aims to linearly transform a random vector such as to render groups of it...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Spatial patterns of activation statistics within anatomically-defined regions of interest (ROIs) in functional magnetic resonance imaging (fMRI) data were recently shown to be sen...
CICLING
2009
Springer
14 years 9 months ago
2009
Springer
This paper presents a system that uses the domain name of a German business website to locate its information pages (e.g. company profile, contact page, imprint) and then identifi...