Sciweavers

1942 search results - page 248 / 389
» Parse
Sort
View
HRI
2010
ACM
15 years 8 months ago
Following directions using statistical machine translation
—Mobile robots that interact with humans in an intuitive way must be able to follow directions provided by humans in unconstrained natural language. In this work we investigate h...
Cynthia Matuszek, Dieter Fox, Karl Koscher
DAC
2009
ACM
15 years 8 months ago
Endosymbiotic computing: enabling surrogate GUI and cyber-physical connectivity
Endosymbiotic Computing entails attaching an RF-enabled microcontroller module (endomodule) to an appliance such that it appears as a networked device in the cyber world. It enabl...
Pai H. Chou
124
Voted
ICASSP
2009
IEEE
15 years 8 months ago
An EM algorithm for SCFG in formal syntax-based translation
In this paper, we investigate the use of bilingual parsing on parallel corpora to better estimate the rule parameters in a formal syntax-based machine translation system, which ar...
Songfang Huang, Bowen Zhou
124
Voted
ICDAR
2009
IEEE
15 years 8 months ago
Metadata Extraction from PDF Papers for Digital Library Ingest
In this paper we analyze our recent research on the use of document analysis techniques for metadata extraction from PDF papers. We describe a package that is designed to extract ...
Simone Marinai
89
Voted
TPHOL
2009
IEEE
15 years 8 months ago
Types, Maps and Separation Logic
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
Rafal Kolanski, Gerwin Klein