Sciweavers

3411 search results - page 200 / 683
» Adaptive Transfer Learning
Sort
View
118
Voted
ICAISC
2004
Springer
15 years 9 months ago
Strategic Planning through Model Checking of ATL Formulae
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
Wojciech Jamroga
ASYNC
2000
IEEE
145views Hardware» more  ASYNC 2000»
15 years 8 months ago
Practical Design of Globally-Asynchronous Locally-Synchronous Systems
In this paper we describe a complete design methodology for a globally asynchronous onchip communication network connecting both locally-synchronous and asynchronous modules. Sync...
Jens Muttersbach, Thomas Villiger, Wolfgang Fichtn...
129
Voted
ICALP
2000
Springer
15 years 7 months ago
Average Bit-Complexity of Euclidean Algorithms
Abstract. We obtain new results regarding the precise average bitcomplexity of five algorithms of a broad Euclidean type. We develop a general framework for analysis of algorithms,...
Ali Akhavi, Brigitte Vallée
CAEPIA
2007
Springer
15 years 10 months ago
Knowledge Engineering and Planning for the Automated Synthesis of Customized Learning Designs
This paper describes an approach to automatically obtain an HTN planning domain from a well structured learning objects repository and also to apply an HTN planner to obtain IMS Le...
Luis A. Castillo, Lluvia Morales, Arturo Gonz&aacu...
122
Voted
ML
2006
ACM
105views Machine Learning» more  ML 2006»
15 years 4 months ago
Propositionalization-based relational subgroup discovery with RSD
Abstract Relational rule learning algorithms are typically designed to construct classification and prediction rules. However, relational rule learning can be adapted also to subgr...
Filip Zelezný, Nada Lavrac