Sciweavers

6040 search results - page 494 / 1208
» Generating Instance Models from Meta Models
Sort
View
ICAIL
2009
ACM
16 years 2 months ago
Coherence-driven argumentation to norm consensus
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
Sindhu Joseph, Henry Prakken
CCS
2003
ACM
16 years 23 days ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
AAAI
1994
15 years 8 months ago
Experience-Aided Diagnosis for Complex Devices
This paper presents a novel approach to diagnosis which addresses the two problems - computational complexity of abduction and device models - that have prevented model-based diag...
Michel P. Féret, Janice I. Glasgow
TASLP
2008
142views more  TASLP 2008»
15 years 7 months ago
HMM Word and Phrase Alignment for Statistical Machine Translation
HMM-based models are developed for the alignment of words and phrases in bitext. The models are formulated so that alignment and parameter estimation can be performed efficiently....
Yonggang Deng, William J. Byrne
BMCBI
2006
131views more  BMCBI 2006»
15 years 7 months ago
Statistical modeling of biomedical corpora: mining the Caenorhabditis Genetic Center Bibliography for genes related to life span
Background: The statistical modeling of biomedical corpora could yield integrated, coarse-to-fine views of biological phenomena that complement discoveries made from analysis of m...
David M. Blei, K. Franks, Michael I. Jordan, I. Sa...