Sciweavers

3185 search results - page 509 / 637
» Domain and language evaluation results
Sort
View
RTS
2006
176views more  RTS 2006»
14 years 10 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
TEC
2008
149views more  TEC 2008»
14 years 10 months ago
Biogeography-Based Optimization
Abstract--We propose a novel variation to biogeographybased optimization (BBO), which is an evolutionary algorithm (EA) developed for global optimization. The new algorithm employs...
Dan Simon
UAIS
2008
155views more  UAIS 2008»
14 years 10 months ago
Adaptive course generation through learning styles representation
This paper presents an approach to automatic course generation and student modeling. The method has been developed during the European funded projects Diogene and Intraserv, focuse...
Enver Sangineto, Nicola Capuano, Matteo Gaeta, Ale...
DATAMINE
2002
169views more  DATAMINE 2002»
14 years 10 months ago
Advances in Instance Selection for Instance-Based Learning Algorithms
The basic nearest neighbour classifier suffers from the indiscriminate storage of all presented training instances. With a large database of instances classification response time ...
Henry Brighton, Chris Mellish
ML
2000
ACM
126views Machine Learning» more  ML 2000»
14 years 10 months ago
Learning to Play Chess Using Temporal Differences
In this paper we present TDLEAF( ), a variation on the TD( ) algorithm that enables it to be used in conjunction with game-tree search. We present some experiments in which our che...
Jonathan Baxter, Andrew Tridgell, Lex Weaver