697 search results - page 112 / 140 » Decomposition Structures for Event-B |
WCRE
2007
IEEE
15 years 6 months ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
103
click to vote
FSTTCS
2007
Springer
15 years 6 months ago
2007
Springer
The Directed Maximum Leaf Out-Branching problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this pa...
101
click to vote
ICA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In contrast to the traditional hypothesis-driven methods, independent component analysis (ICA) is commonly used in functional magnetic resonance imaging (fMRI) studies to...
111
click to vote
SAMT
2007
Springer
15 years 5 months ago
2007
Springer
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...
75
Voted
WABI
2007
Springer
15 years 5 months ago
2007
Springer
In comparing genomic maps, it is often difficult to distinguish mapping errors and incorrectly resolved paralogies from genuine rearrangements of the genomes. A solution to this ...