1712 search results - page 171 / 343 » A Computational Approach to Binding Theory |
117
click to vote
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
123
click to vote
ICMT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
123
click to vote
EH
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes an original approach to the reliability analysis for Embryonics [4], by introducing the accuracy threshold measure, borrowed from fault-tolerant quantum comput...
107
Voted
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
112
click to vote
GW
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...