4139 search results - page 405 / 828 » Designing and Implementing Combinator Languages |
179
click to vote
JFR
2006
15 years 7 months ago
2006
We present the design and implementation of a vision-based feature tracking system for an autonomous helicopter. Visual sensing is used for estimating the position and velocity of...
222
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
197
click to vote
COLING
2010
15 years 2 months ago
2010
Antelogue is a pronoun resolution prototype designed to be released as off-the-shelf software to be used autonomously or integrated with larger anaphora resolution or other NLP sy...
230
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
192
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
This paper addresses the problem of computational error modeling and analysis. Choosing different word-lengths for each functional unit in hardware implementations of numerical al...