Sciweavers

1837 search results - page 54 / 368
» Abstraction and the C Machine Model
Sort
View
MSCS
2008
86views more  MSCS 2008»
13 years 8 months ago
Maurer computers for pipelined instruction processing
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
Jan A. Bergstra, C. A. Middelburg
COLING
2008
13 years 10 months ago
A Hybrid Generative/Discriminative Framework to Train a Semantic Parser from an Un-annotated Corpus
We propose a hybrid generative/discriminative framework for semantic parsing which combines the hidden vector state (HVS) model and the hidden Markov support vector machines (HMSV...
Deyu Zhou, Yulan He
COCOON
2009
Springer
14 years 3 months ago
Hierarchies and Characterizations of Stateless Multicounter Machines
Abstract. We investigate the computing power of stateless multicounter machines with reversal-bounded counters. Such a machine can be deterministic, nondeterministic, realtime (the...
Oscar H. Ibarra, Ömer Egecioglu
NLDB
2005
Springer
14 years 2 months ago
Automatic Filtering of Bilingual Corpora for Statistical Machine Translation
Abstract. For many applications such as machine translation and bilingual information retrieval, the bilingual corpora play an important role in training the system. Because they a...
Shahram Khadivi, Hermann Ney
PPOPP
1993
ACM
14 years 24 days ago
LogP: Towards a Realistic Model of Parallel Computation
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
David E. Culler, Richard M. Karp, David A. Patters...