2911 search results - page 142 / 583 » A Theory of Expressiveness in Mechanisms |
164
click to vote
GW
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents gesture analysis under the scope of motor control theory. Following the motor program view, some studies have revealed a number of invariant features that chara...
160
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We establish that the decidability of the first order theory of a class of finite structures ¢ is a simple and useful condition for guaranteeing that the expressive power of FO...
171
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
151
click to vote
TPHOL
1997
IEEE
15 years 10 months ago
1997
IEEE
Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more...
152
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...