12347 search results - page 2245 / 2470 » Intelligent Integration of Information |
179
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
The goal of autonomic computing is to create computing systems capable of managing themselves to a far greater extent than they do today. This paper presents Unity, a decentralize...
163
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
We studied the role of the competence of an interface agent that helped users to learn and use a text editor. Participants in the study made a set of changes to a document with th...
163
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
174
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
160
click to vote
DEON
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...