Sciweavers

727 search results - page 28 / 146
» Automating the Choice of Decision Support System Architectur...
Sort
View
ITP
2010
172views Mathematics» more  ITP 2010»
14 years 8 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
74
Voted
ICCS
2005
Springer
15 years 3 months ago
Resource Partitioning Algorithms in a Programmable Service Grid Architecture
Abstract. We propose the use of programmable Grid resource partitioning heuristics in the context of a distributed service Grid management architecture. The architecture is capable...
Pieter Thysebaert, Bruno Volckaert, Marc De Leenhe...
ICALT
2009
IEEE
15 years 1 months ago
Automated Planning for Personalised Course Composition
Authoring tools for building Intelligent Educational Systems must provide support to ensure flexibility, adaptability of content to the user profile, reusability and sharing of le...
Antonio Garrido, Eva Onaindia, Oscar Sapena
77
Voted
CSREAESA
2004
14 years 11 months ago
Intelligent Resource Agents for Embedded Systems
This paper presents a reconfigurable resource support mechanism to address scheduling issues in distributed embedded environment. A configurable object architecture is employed to...
En-Hsin Huang, Tzilla Elrad
94
Voted
ICCBR
2005
Springer
15 years 3 months ago
Evaluating Case-Based Systems in Virtual Games
TIELT is a software testbed that facilitates the integration and testing of learning-embedded decision systems on user-selected tasks from virtual gaming simulators. A key componen...
Keith Needels, Matthew Molineaux, David W. Aha