Sciweavers

3808 search results - page 179 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
EVOW
2004
Springer
15 years 10 months ago
Hardness Prediction for the University Course Timetabling Problem
This paper presents an attempt to find a statistical model that predicts the hardness of the University Course Timetabling Problem by analyzing instance properties. The model may l...
Philipp Kostuch, Krzysztof Socha
ECAI
2006
Springer
15 years 10 months ago
How to Analyze Free Text Descriptions for Recommending TV Programmes?
ct This paper presents an approach to exploit free text descriptions of TV programmes as available from EPG data sets for a recommendation system that takes the content of programm...
Bernd Ludwig, Stefan Mandl
ECAI
2006
Springer
15 years 10 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
APN
2001
Springer
15 years 10 months ago
Partial Order Verification of Programmable Logic Controllers
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
Peter Deussen
AISB
1995
Springer
15 years 10 months ago
Specialised Recombinative Operators for Timetabling Problems
This paper discusses a series of recombination operators for the timetabling problem. These operators act upon a direct representation of the timetable and maintain the property of...
Edmund K. Burke, Dave Elliman, Rupert F. Weare