1115 search results - page 50 / 223 » An Abstract Look at Realizability |
187
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes the progress of the BIP2000 project. This project, in which four laboratories are involved for 4 years, as uimed at the realization of the lower part of an an...
156
click to vote
ACL
2000
15 years 7 months ago
2000
The definitions of the basic concepts, rules, and constraints of centering theory involve underspecified notions such as `previous utterance', `realization', and `rankin...
195
click to vote
IUI
2010
ACM
16 years 14 days ago
2010
ACM
We describe a code reuse tool for use in the Looking Glass IDE, the successor to Storytelling Alice [17], which enables middle school students with little to no programming experi...
136
Voted
IROS
2009
IEEE
16 years 8 days ago
2009
IEEE
Abstract— This paper presents an approach for the closedloop control of actuated biped that allows natural looking and energy efficient walking. Rather than prescribe kinematic ...
171
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...