805 search results - page 115 / 161 » On the Semantics of Conditional Commitment |
124
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
141
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
137
click to vote
ACSC
2008
IEEE
15 years 11 months ago
2008
IEEE
1 In this paper we introduce a novel method of automating thesauri using syntactically constrained distributional similarity. With respect to syntactically conditioned cooccurrence...
138
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
162
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Vision systems are used more and more in ’personal’ robots interacting with humans, since semantic information about objects and places can be derived from the rich...