5608 search results - page 291 / 1122 » On the Theory of Matchgate Computations |
186
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
174
Voted
ICNSC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper addresses the issue of robotic manipulation of multi-DOF inverted pendulums. A control scheme is designed using Lyaponov stability theory for both the robot position...
181
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
160
click to vote
SIGECOM
2005
ACM
16 years 8 days ago
2005
ACM
We study two problems, that of computing social optimum and that of finding fair allocations, in the congestion game model of Milchtaich[8] Although we show that the general prob...
190
click to vote
MM
2004
ACM
16 years 4 days 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...