10568 search results - page 447 / 2114 » Computer Intelligence and Formalization |
168
click to vote
AI
2002
Springer
15 years 4 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
155
click to vote
SETN
2010
Springer
15 years 11 months ago
2010
Springer
The preservation of digital objects is a topic of prominent importance for archives and digital libraries. This paper focuses on the problem of preserving the performability of tas...
134
click to vote
EVOW
2009
Springer
15 years 11 months ago
2009
Springer
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...
161
Voted
APN
2009
Springer
15 years 11 months ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
142
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...