8141 search results - page 1215 / 1629 » Higher Order Generalization |
209
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Biobanks are gaining in importance by storing large collections of patient's clinical data (e.g. disease history, laboratory parameters, diagnosis, life style) toget...
205
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
185
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
180
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
182
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Due to the information growth, distributed environments are offered as a feasible and scalable solution where Peerto-Peer networks have become more relevant. They bring many advan...