Sciweavers

5622 search results - page 439 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
ML
2008
ACM
15 years 6 months ago
Inductive process modeling
In this paper, we pose a novel research problem for machine learning that involves constructing a process model from continuous data. We claim that casting learned knowledge in ter...
Will Bridewell, Pat Langley, Ljupco Todorovski, Sa...
ICALT
2007
IEEE
15 years 8 months ago
A Collaborative Medical Case Authoring Environment Based on 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, Phattanapon Rhienmora, Peter H...
CADE
2011
Springer
14 years 6 months ago
ASASP: Automated Symbolic Analysis of Security Policies
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
Francesco Alberti, Alessandro Armando, Silvio Rani...
EAAI
2010
107views more  EAAI 2010»
15 years 1 months ago
Honey bee social foraging algorithms for resource allocation: Theory and application
A model of honey bee social foraging is introduced to create an algorithm that solves a class of optimal resource allocation problems. We prove that if several such algorithms (&q...
Nicanor Quijano, Kevin M. Passino
ESWS
2010
Springer
15 years 5 months ago
The Semantic Gap of Formalized Meaning
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
Sebastian Hellmann