10910 search results - page 1949 / 2182 » Input modeling using a computer algebra system |
136
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— We present results of successful telemanipulation of large, heavy objects by a humanoid robot. Using a single joystick the operator controls walking and whole body manipulation...
146
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— A distributed medium access control (MAC) algorithm for uplink OFDMA networks under the IEEE 802.16 framework is proposed and analyzed in this work. We present a simple...
135
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
150
Voted
DIS
2007
Springer
15 years 10 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
136
click to vote
ICARIS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this conceptual paper, we report on studies and initial definitions of an immune-inspired approach to temporal anomaly detection problems, where there is a strict temp...