30 search results - page 5 / 6 » A nominal exploration of intuitionism |
ICRA
2010
IEEE
2010
IEEE
Spring Loaded Inverted Pendulum embedding: Extensions toward the control of compliant running robots
13 years 7 months ago
This paper explores systematic control strategies for the stabilization of running on compliant robots with nontrivial torso pitch dynamics. The Spring Loaded Inverted Pendulum (SL...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
ACL
2010
13 years 7 months ago
2010
This paper explores joint syntactic and semantic parsing of Chinese to further improve the performance of both syntactic and semantic parsing, in particular the performance of sem...
JFR
2008
13 years 9 months ago
2008
In this paper, we present an experimental study of strategies for maintaining end-to-end communication links for tasks such as surveillance, reconnaissance, and target search and ...
ACSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
Portable storage devices, such as key-chain USB devices, are ubiquitous. These devices are often used with impunity, with users repeatedly using the same storage device in open co...