150 search results - page 18 / 30 » A Survey of Automated Timetabling |
NMR
2004
Springer
14 years 27 days ago
2004
Springer
In this paper, we propose a survey of the use of bipolarity in argumentation frameworks, i.e. the presence of two kinds of entities (a positive entity and a negative entity). An a...
CACM
1999
13 years 7 months ago
1999
Software agents have become very popular in the last six or so years. They have been used successfully to filter information, match people with similar interests and automate repe...
ELECTRONICMARKETS
1998
13 years 7 months ago
1998
Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. This paper surveys several of these agentmediated elect...
ECSQARU
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper addresses the issue of measuring similarity between pieces of uncertain information in the framework of possibility theory. In a first part, natural properties...
TPHOL
1995
IEEE
13 years 11 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...