8874 search results - page 194 / 1775 » A New Implementation of Automath |
157
click to vote
CC
2012
Springer
14 years 17 hour ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
132
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper proposes the new robot programming environment in which robot motion programming environment and dynamics simulator are integrated. This allows robot motion programs...
151
click to vote
SIGDIAL
2010
15 years 2 months ago
2010
This paper introduces a new dialogue management framework for goal-directed conversations. A declarative specification defines the domain-specific elements and guides the dialogue...
147
click to vote
ACL
2009
15 years 2 months ago
2009
In this paper we introduce a bilingual dictionary generating tool that does not use any large bilingual corpora. With this tool we implement our novel pivot based bilingual dictio...
105
click to vote
EMNLP
2009
15 years 2 months ago
2009
A large body of recent research has been investigating the acquisition and application of applied inference knowledge. Such knowledge may be typically captured as entailment rules...