Sciweavers

31387 search results - page 383 / 6278
» Abstracting abstract machines
Sort
View
AUSAI
2006
Springer
15 years 10 months ago
Unsupervised Measurement of Translation Quality Using Multi-engine, Bi-directional Translation
Abstract. Lay people discussing machine translation systems often perform a round trip translation, that is translating a text into a foreign language and back, to measure the qual...
Menno van Zaanen, Simon Zwarts
199
Voted
ECAI
2006
Springer
15 years 10 months ago
Efficient Knowledge Acquisition for Extracting Temporal Relations
Abstract. Machine learning approaches in natural language processing often require a large annotated corpus. We present a complementary approach that utilizes expert knowledge to o...
Son Bao Pham, Achim G. Hoffmann
ISCA
1993
IEEE
125views Hardware» more  ISCA 1993»
15 years 11 months ago
Evaluation of Mechanisms for Fine-Grained Parallel Programs in the J-Machine and the CM-5
er uses an abstract machine approach to compare the mechanisms of two parallel machines: the J-Machine and the CM-5. High-level parallel programs are translated by a single optimi...
Ellen Spertus, Seth Copen Goldstein, Klaus E. Scha...
173
Voted
DBPL
2007
Springer
102views Database» more  DBPL 2007»
16 years 1 months ago
A Theory of Stream Queries
Data streams are modeled as infinite or finite sequences of data elements coming from an arbitrary but fixed universe. The universe can have various built-in functions and predi...
Yuri Gurevich, Dirk Leinders, Jan Van den Bussche
162
Voted
COCOON
2009
Springer
16 years 1 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