Sciweavers

1262 search results - page 143 / 253
» Diagnosis Problem Solving Using Fuzzy Relations
Sort
View
104
Voted
FOSSACS
2005
Springer
15 years 6 months ago
A Simpler Proof Theory for Nominal Logic
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
James Cheney
175
Voted
VLDB
2007
ACM
126views Database» more  VLDB 2007»
16 years 28 days ago
SOR: A Practical System for Ontology Storage, Reasoning and Search
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
Chen Wang, Jean-Sébastien Brunner, Jing Lu,...
144
Voted
IEEEICCI
2006
IEEE
15 years 6 months ago
Rough Set Method Based on Multi-Granulations
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on universe. In the view of granular computing, classical ro...
Y. H. Qian, J. Y. Liang
EH
2002
IEEE
139views Hardware» more  EH 2002»
15 years 5 months ago
Evolving Cellular Automata to Model Fluid Flow in Porous Media
Fluid flow in porous media is a dynamic process that is traditionally modeled using PDE (Partial Differential Equations). In this approach, physical properties related to fluid fl...
Tina Yu, Seong Lee
86
Voted
BMCBI
2008
97views more  BMCBI 2008»
15 years 25 days ago
Quantitative analysis of numerical solvers for oscillatory biomolecular system models
Background: This article provides guidelines for selecting optimal numerical solvers for biomolecular system models. Because various parameters of the same system could have drast...
Chang F. Quo, May D. Wang