Sciweavers

3719 search results - page 77 / 744
» order 2010
Sort
View
ENTCS
2010
94views more  ENTCS 2010»
13 years 10 months ago
Future Path-components in Directed Topology
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishna...
ENTCS
2006
136views more  ENTCS 2006»
13 years 10 months ago
Priestley Duality for Strong Proximity Lattices
In 1937 Marshall Stone extended his celebrated representation theorem for Boolean algebras to distributive lattices. In modern terminology, the representing topological spaces are...
Mohamed A. El-Zawawy, Achim Jung
ICASSP
2010
IEEE
13 years 10 months ago
A compressive sensing image compression algorithm using quantized DCT and noiselet information
Inspired by recent theoretical advances in compressive sensing (CS), we propose a new framework that combines the classical local discrete cosine transform used in image compressi...
Jiangtao Wen, Zhuoyuan Chen, Yuxing Han, John D. V...
COLING
2010
13 years 5 months ago
Automatically Learning Source-side Reordering Rules for Large Scale Machine Translation
We describe an approach to automatically learn reordering rules to be applied as a preprocessing step in phrase-based machine translation. We learn rules for 8 different language ...
Dmitriy Genzel
LICS
2010
IEEE
13 years 8 months ago
The Isomorphism Problem on Classes of Automatic Structures
Several new undecidability results on isomorphism problems for automatic structures are shown: (i) The isomorphism problem for automatic equivalence relations is 0 1complete. (ii)...
Dietrich Kuske, Jiamou Liu, Markus Lohrey