Sciweavers

33 search results - page 4 / 7
» A Novel Formalism to Represent Collective Intelligence in Mu...
Sort
View
ATAL
2007
Springer
14 years 1 months ago
Matrix-based representation for coordination fault detection: a formal approach
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
Meir Kalech, Michael Lindner, Gal A. Kaminka
CIMCA
2006
IEEE
14 years 1 months ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
JBI
2008
169views Bioinformatics» more  JBI 2008»
13 years 7 months ago
A collaborative medical case authoring environment based on the UMLS
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
Siriwan Suebnukarn, Peter Haddawy, Phattanapon Rhi...
FLAIRS
2006
13 years 8 months ago
Automated Population of Cyc: Extracting Information about Named-entities from the Web
Populating the Cyc Knowledge Base (KB) has been a manual process until very recently. However, there is currently enough knowledge in Cyc for it to be feasible to attempt to acqui...
Purvesh Shah, David Schneider, Cynthia Matuszek, R...
AAAI
2007
13 years 9 months ago
A Multi-Dimensional Trust Model for Heterogeneous Contract Observations
In this paper we develop a novel probabilistic model of computational trust that allows agents to exchange and combine reputation reports over heterogeneous, correlated multi-dime...
Steven Reece, Stephen Roberts, Alex Rogers, Nichol...