4698 search results - page 849 / 940 » Making Functionality More General |
194
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
202
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
171
click to vote
CCA
2005
Springer
16 years 6 days ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
189
click to vote
CIKM
2005
Springer
16 years 6 days ago
2005
Springer
Finding information about people on the Web using a search engine is difficult because there is a many-to-many mapping between person names and specific persons (i.e. referents). ...
197
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...