Sciweavers

4212 search results - page 81 / 843
» On Compressible Pairings and Their Computation
Sort
View
ENTCS
2008
153views more  ENTCS 2008»
15 years 5 days ago
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
The well-known notion of critical pairs already allows a static conflict detection, which is important for all kinds of applications and already implemented in AGG. Unfortunately ...
Leen Lambers, Hartmut Ehrig, Fernando Orejas
84
Voted
DCC
2000
IEEE
15 years 5 months ago
Lossless Compression of High-Volume Numerical Data from Simulations
Applications in scientific computing operate with high-volume numerical data and the occupied space should be reduced. Traditional compression algorithms cannot provide sufficie...
Vadim Engelson, Dag Fritzson, Peter Fritzson
IMC
2010
ACM
14 years 10 months ago
Measurement of loss pairs in network paths
Loss-pair measurement was proposed a decade ago for discovering network path properties, such as a router's buffer size. A packet pair is regarded as a loss pair if exactly o...
Edmond W. W. Chan, Xiapu Luo, Weichao Li, Waiting ...
131
Voted
ACL
2012
13 years 3 months ago
DOMCAT: A Bilingual Concordancer for Domain-Specific Computer Assisted Translation
In this paper, we propose a web-based bilingual concordancer, DOMCAT 1 , for domain-specific computer assisted translation. Given a multi-word expression as a query, the system in...
Ming-Hong Bai, Yu-Ming Hsieh, Keh-Jiann Chen, Jaso...
123
Voted
IWOCA
2010
Springer
232views Algorithms» more  IWOCA 2010»
14 years 7 months ago
Computing Role Assignments of Proper Interval Graphs in Polynomial Time
A homomorphism from a graph G to a graph R is locally surjective if its restriction to the neighborhood of each vertex of G is surjective. Such a homomorphism is also called an R-r...
Pinar Heggernes, Pim van 't Hof, Daniël Paulu...