1712 search results - page 123 / 343 » A Computational Approach to Binding Theory |
124
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
120
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
114
click to vote
MM
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes a narrative-centered approach to learning using location-aware mobile devices, with theories of learning as the basis for a system that utilizes techniques fr...
GG
2004
Springer
15 years 7 months ago
2004
Springer
There would seem to be a natural connection between graphs and information security. This is particularly so in the arena of access control and authorization. Research on applying ...
GI
2009
Springer
14 years 11 months ago
2009
Springer
: Both, games in a game theoretic sense and protocols in an informational sense describe rule based interactions between systems. Some similarities and differences of both approach...