Sciweavers

7075 search results - page 85 / 1415
» Models and heterogeneous reasoning
Sort
View
PVM
2010
Springer
13 years 9 months ago
Two Algorithms of Irregular Scatter/Gather Operations for Heterogeneous Platforms
Abstract. In this work we present two algorithms of irregular scatter/gather operations based on the binomial tree and Tr¨aff algorithms. We use the prediction provided by hetero...
Kiril Dichev, Vladimir Rychkov, Alexey L. Lastovet...
AI
2008
Springer
13 years 11 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
AAAI
2006
14 years 18 days ago
Table Extraction Using Spatial Reasoning on the CSS2 Visual Box Model
Tables on web pages contain a huge amount of semantically explicit information, which makes them a worthwhile target for automatic information extraction and knowledge acquisition...
Wolfgang Gatterbauer, Paul Bohunsky
IJIS
2011
95views more  IJIS 2011»
13 years 2 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
AAAI
1996
14 years 16 days ago
Comet: An Application of Model-Based Reasoning to Accounting Systems
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...
Robert Nado, Melanie Chams, Jeff Delisio, Walter H...