Sciweavers

2890 search results - page 193 / 578
» A Multi-agent Model to Develop Knowledge Management Systems
Sort
View
ASPDAC
2007
ACM
120views Hardware» more  ASPDAC 2007»
15 years 7 months ago
Integrating Power Management into Distributed Real-time Systems at Very Low Implementation Cost
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
Bita Gorjiara, Nader Bagherzadeh, Pai H. Chou
ACIIDS
2009
IEEE
122views Database» more  ACIIDS 2009»
15 years 8 months ago
Student Modelling Based on Ontologies
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
Alejandro Peña Ayala
UTP
2010
15 years 1 months ago
On Modelling User Observations in the UTP
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
Michael J. Banks, Jeremy L. Jacob
MKM
2005
Springer
15 years 8 months ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase
138
Voted
BMCBI
2006
103views more  BMCBI 2006»
15 years 3 months ago
Meta-All: a system for managing metabolic pathway information
Background: Many attempts are being made to understand biological subjects at a systems level. A major resource for these approaches are biological databases, storing manifold inf...
Stephan Weise, Ivo Grosse, Christian Klukas, Dirk ...