2162 search results - page 77 / 433 » Automated Reasoning on Feature Models |
125
Voted
DLOG
2008
15 years 6 months ago
2008
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
129
Voted
CL
2002
Springer
15 years 3 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
126
Voted
JLP
2011
14 years 10 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
125
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
173
Voted
CSL
2011
Springer
14 years 10 months ago
2011
Springer
We describe a new approach to speech recognition, in which all Hidden Markov Model (HMM) states share the same Gaussian Mixture Model (GMM) structure with the same number of Gauss...