Sciweavers

1536 search results - page 142 / 308
» On the Relation between Interpreted Systems and Kripke Model...
Sort
View
BMCBI
2010
104views more  BMCBI 2010»
14 years 10 months ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...
IJCAI
1993
14 years 11 months ago
Fuzzy Causal Simulation in Process Engineering
: This paper presents a causal simulation method for incompletely known dynamic systems in process engineering. The causal model of a process is represented as both a causal networ...
Kouamana Bousson, Louise Travé-Massuy&egrav...
ACSD
2006
IEEE
154views Hardware» more  ACSD 2006»
15 years 4 months ago
Concurrency in Distributed Systems under Autonomous and Enforced Actions
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
Arnim Wedig, Horst F. Wedde, Anca M. Lazarescu, El...
ACL
2006
14 years 11 months ago
Discriminative Pruning of Language Models for Chinese Word Segmentation
This paper presents a discriminative pruning method of n-gram language model for Chinese word segmentation. To reduce the size of the language model that is used in a Chinese word...
Jianfeng Li, Haifeng Wang, Dengjun Ren, Guohua Li
ECAI
2000
Springer
15 years 2 months ago
Learning Classification taxonomies from a classification knowledge based system
Knowledge-based systems (KBS) are not necessarily based on well-defined ontologies. In particular it is possible to build KBS for classification problems, where there is little con...
Hendra Suryanto, Paul Compton