Sciweavers

2813 search results - page 210 / 563
» Formalizing Architectural Connection
Sort
View
DEXAW
2000
IEEE
61views Database» more  DEXAW 2000»
15 years 11 months ago
Paradigma: Agent Implementation through Jini
One of the key problems of recent years has been the divide between theoretical work in agent-based systems and its practical complement which have, to a large extent, developed a...
Ronald Ashri, Michael Luck
ECTEL
2006
Springer
15 years 10 months ago
Personal Learning Environments: Challenging the Dominant Design of Educational Systems
Current systems used in education follow a consistent design pattern, one that is not supportive of lifelong learning or personalization, is asymmetric in terms of user capability,...
Scott Wilson, Oleg Liber, Mark Johnson, Phillip Be...
AAAI
2008
15 years 8 months ago
On the Decidability of Role Mappings between Modular Ontologies
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
Jie Bao, George Voutsadakis, Giora Slutzki, Vasant...
FLAIRS
2008
15 years 8 months ago
Modelling Uniformity and Control during Knowledge Acquisition
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
Bernhard Heinemann
AAAI
2004
15 years 8 months ago
An Instance-Based State Representation for Network Repair
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...
Michael L. Littman, Nishkam Ravi, Eitan Fenson, Ri...