Sciweavers

17505 search results - page 321 / 3501
» Use Cases as Workflows
Sort
View
EVOW
2009
Springer
16 years 1 months ago
University Course Timetabling with Genetic Algorithm: A Laboratory Excercises Case Study
Abstract. This paper describes the application of a hybrid genetic algorithm to a real-world instance of the university course timetabling problem. We address the timetabling of la...
Zlatko Bratkovic, Tomislav Herman, Vjera Omrcen, M...
ICALT
2008
IEEE
16 years 1 months ago
Dictionary-Based Translation Feature in Open Source LMS A Case Study of Thai LMS: LearnSquare
One of the problems on using English in Thai students is vocabulary limitation. This paper proposes a methodology to ease learning curve for English content by adding an English-T...
Orrawin Mekpiroon, Pornchai Tammarattananont, Nara...
MKM
2007
Springer
16 years 25 days ago
Automatic Synthesis of Decision Procedures: A Case Study of Ground and Linear Arithmetic
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
Predrag Janicic, Alan Bundy
ICANN
2005
Springer
16 years 7 days ago
CrySSMEx, a Novel Rule Extractor for Recurrent Neural Networks: Overview and Case Study
In this paper, it will be shown that it is feasible to extract finite state machines in a domain of, for rule extraction, previously unencountered complexity. The algorithm used i...
Henrik Jacobsson, Tom Ziemke
ICCBR
2005
Springer
16 years 7 days 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