2211 search results - page 85 / 443 » Comparing Approaches to Implement Feature Model Composition |
88
Voted
ICML
2004
IEEE
16 years 2 months ago
2004
IEEE
We study the problem of modeling species geographic distributions, a critical problem in conservation biology. We propose the use of maximum-entropy techniques for this problem, s...
120
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Many vital biological processes, including transcription and splicing, require a combination of short, degenerate sequence patterns, or motifs, adjacent to defined seq...
112
click to vote
ICASSP
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a novel approach for those applications where vocabulary is defined by a set of acoustic samples. In this approach, the acoustic samples are used as reference...
108
click to vote
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
146
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...