Sciweavers

503 search results - page 27 / 101
» Using The Same System For Analyzing And Synthesizing Sentenc...
Sort
View
NAACL
2010
15 years 3 months ago
Stream-based Translation Models for Statistical Machine Translation
Typical statistical machine translation systems are trained with static parallel corpora. Here we account for scenarios with a continuous incoming stream of parallel training data...
Abby Levenberg, Chris Callison-Burch, Miles Osborn...
EMNLP
2009
15 years 3 months ago
Unsupervised Semantic Parsing
We present the first unsupervised approach to the problem of learning a semantic parser, using Markov logic. Our USP system transforms dependency trees into quasi-logical forms, r...
Hoifung Poon, Pedro Domingos
NIME
2005
Springer
150views Music» more  NIME 2005»
15 years 11 months ago
Experiments with Virtual Reality Instruments
In this paper, we introduce and analyze four gesture-controlled musical instruments. We briefly discuss the test platform designed to allow for rapid experimentation of new interf...
Teemu Mäki-Patola, Aki Kanerva, Juha Laitinen...
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
15 years 11 months ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner
ESOP
2001
Springer
15 years 10 months ago
Typestate Checking of Machine Code
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
Zhichen Xu, Thomas W. Reps, Barton P. Miller