881 search results - page 94 / 177 » Solving satisfiability problems with preferences |
ICALP
2009
Springer
14 years 2 months ago
2009
Springer
Refereed conferences require every submission to be reviewed by members of a program committee (PC) in charge of selecting the conference program. There are many software packages...
CONTEXT
2007
Springer
14 years 1 months ago
2007
Springer
In our research work, we consider that access to semi-structured documents is carried out by a data-oriented query. With different users and a same query, the returned results are ...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Negotiation events in industrial procurement involving multiple, highly customisable goods pose serious challenges to buying agents when trying to determine the best set of provid...
CRIWG
2003
13 years 9 months ago
2003
Abstract. In this paper we present the use of adaptation techniques to dynamically generate adaptive collaborative Web-based courses. These courses are generated at runtime by sele...
GRAPHICSINTERFACE
2003
13 years 9 months ago
2003
The activity of spatial collaboration involves solving spatial problems related to a large, physical area. Representing this area in collaboration software is not trivial. Radar v...