7075 search results - page 376 / 1415 » Models and heterogeneous reasoning |
220
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the use of dynamic Bayesian networks for the task of articulatory feature recognition. We show that by modeling the dependencies between a set of 6 multi-leve...
186
click to vote
EOR
2007
15 years 6 months ago
2007
The purpose of this paper is to learn the order of criteria of lexicographic decision under various reasonable assumptions. We give a sample evaluation and an oracle based algorit...
180
click to vote
CL
2002
Springer
15 years 6 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 ...
183
click to vote
JLP
2011
15 years 1 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...
159
click to vote
IFM
1999
Springer
15 years 11 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...