Sciweavers

701 search results - page 58 / 141
» Comments on
Sort
View
PATAT
1995
Springer
140views Education» more  PATAT 1995»
15 years 7 months ago
Examination Timetabling in British Universities: A Survey
This paper describes the results of a questionnaire on examination timetabling sent to the registrars of ninety five British Universities. The survey asked questions in three spe...
Edmund K. Burke, Dave Elliman, Peter H. Ford, Rupe...
AIPS
2008
15 years 6 months ago
CircuitTSAT: A Solver for Large Instances of the Disjunctive Temporal Problem
In this paper, we report on a new solver for large instances of the Disjunctive Temporal Problem (DTP). Our solver is based primarily on the idea of employing "compact" ...
Blaine Nelson, T. K. Satish Kumar
DLOG
2008
15 years 6 months ago
Consistency Checking for Extended Description Logics
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We ...
Olivier Couchariere, Marie-Jeanne Lesot, Bernadett...
CG
2008
Springer
15 years 6 months ago
Learning Positional Features for Annotating Chess Games: A Case Study
Abstract. By developing an intelligent computer system that will provide commentary of chess moves in a comprehensible, user-friendly and instructive way, we are trying to use the ...
Matej Guid, Martin Mozina, Jana Krivec, Aleksander...
BDA
2007
15 years 5 months ago
Pattern by Example: type-driven visual programming of XML queries
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
Véronique Benzaken, Giuseppe Castagna, Dari...