Sciweavers

3719 search results - page 77 / 744
» order 2010
Sort
View
73
Voted
ENTCS
2010
94views more  ENTCS 2010»
15 years 25 days 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...
87
Voted
ENTCS
2006
136views more  ENTCS 2006»
15 years 23 days 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
88
Voted
ICASSP
2010
IEEE
15 years 28 days 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...
106
Voted
COLING
2010
14 years 7 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
14 years 10 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