Sciweavers

11436 search results - page 62 / 2288
» Modeling Real Reasoning
Sort
View
97
Voted
IJIS
2011
95views more  IJIS 2011»
14 years 4 months ago
Modeling and reasoning with qualitative comparative clinical knowledge
The number of clinical trials reports is increasing rapidly due to a large number of clinical trials being conducted, it therefore raises an urgent need to utilize the clinical kno...
Jianbing Ma, Weiru Liu, Anthony Hunter
96
Voted
KES
2000
Springer
15 years 4 months ago
Extracting geometric models from medieval moulding profiles for case-based reasoning
Cross-sectional pmfiles of medieval mouldings are often considered to be a vital form of data to Art Historians. Mouldings were often used to highlight salient areas of buildings,...
Gareth Bradshaw, Carol O'Sullivan
107
Voted
CMPB
2010
97views more  CMPB 2010»
14 years 11 months ago
A ligand predication tool based on modeling and reasoning with imprecise probabilistic knowledge
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
Weiru Liu, Anbu Yue, David J. Timson
118
Voted
STTT
2010
122views more  STTT 2010»
14 years 11 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
95
Voted
IEAAIE
2000
Springer
15 years 4 months ago
Modeling of, and Reasoning with Recurrent Events with Imprecise Durations
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
Stanislav Kurkovsky, Rasiah Loganantharaj