2911 search results - page 127 / 583 » A Theory of Expressiveness in Mechanisms |
154
click to vote
ROOM
2000
15 years 7 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
162
click to vote
IPL
2000
15 years 6 months ago
2000
We show that stratified context unification, which is one of the most expressive fragments of context unification known to be decidable, is equivalent to the satisfiability proble...
168
click to vote
ACAL
2007
Springer
15 years 10 months ago
2007
Springer
In this study, we describe an evolutionary mechanism
166
click to vote
ECIR
2011
Springer
14 years 10 months ago
2011
Springer
The cognitively motivated principle of polyrepresentation still lacks a theoretical foundation in IR. In this work, we discuss two competing polyrepresentation frameworks that are ...
163
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...