Sciweavers

1634 search results - page 156 / 327
» Reasoning about Knowledge Using Rough Sets
Sort
View
BMCBI
2007
94views more  BMCBI 2007»
13 years 11 months ago
False positive reduction in protein-protein interaction predictions using gene ontology annotations
Background: Many crucial cellular operations such as metabolism, signalling, and regulations are based on protein-protein interactions. However, the lack of robust protein-protein...
Mahmood A. Mahdavi, Yen-Han Lin
ATAL
2008
Springer
14 years 24 days ago
Modelling coalitions: ATL + argumentation
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
Nils Bulling, Jürgen Dix, Carlos Iván ...
HASKELL
2009
ACM
14 years 5 months ago
A compositional theory for STM Haskell
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
Johannes Borgström, Karthikeyan Bhargavan, An...
ICMLA
2007
14 years 6 days ago
Learning to evaluate conditional partial plans
In our research we study rational agents which learn how to choose the best conditional, partial plan in any situation. The agent uses an incomplete symbolic inference engine, emp...
Slawomir Nowaczyk, Jacek Malec
IHI
2012
249views Healthcare» more  IHI 2012»
12 years 6 months ago
An intelligent web-based decision support tool for enhancing asthma guideline adherence
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
Jinbo Bi, Arun Abraham