Sciweavers

8031 search results - page 344 / 1607
» Knowledge and Workflow Systems
Sort
View
DALT
2008
Springer
15 years 8 months ago
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Dimitar P. Guelev, Catalin Dima
ESWS
2008
Springer
15 years 8 months ago
RKBExplorer.com: A Knowledge Driven Infrastructure for Linked Data Providers
RKB Explorer is a Semantic Web application that is able to present unified views of a significant number of heterogeneous data sources. We have developed an underlying information ...
Hugh Glaser, Ian Millard, Afraz Jaffri
HIS
2008
15 years 8 months ago
Artificial Data Sets Based on Knowledge Generators: Analysis of Learning Algorithms Efficiency
This paper proposes a methodology to generate artificial data sets to evaluate the behavior of machine learning techniques. The methodology relies in the definition of a domain an...
Joaquin Rios-Boutin, Albert Orriols-Puig, Josep Ma...
AAAI
2004
15 years 8 months ago
Low-Knowledge Algorithm Control
This paper addresses the question of allocating computational resources among a set of algorithms in order to achieve the best performance on a scheduling problem instance. Our pr...
Tom Carchrae, J. Christopher Beck
APVIS
2006
15 years 8 months ago
Knowledge visualization in hepatitis study
Evidence-based medicine (EBM) is a shift in which medicine from being based on individual experience of doctors to evidence with clear background. In this shift, data mining can p...
DucDung Nguyen, Tu Bao Ho, Saori Kawasaki