Sciweavers

727 search results - page 28 / 146
» Automating the Choice of Decision Support System Architectur...
Sort
View
116
Voted
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 8 days 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...
99
Voted
ICCS
2005
Springer
15 years 7 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 5 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
112
Voted
CSREAESA
2004
15 years 3 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
115
Voted
ICCBR
2005
Springer
15 years 7 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