1413 search results - page 54 / 283 » Bisimilarity of Open Terms |
ISSAC
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...
102
click to vote
PDP
2005
IEEE
15 years 6 months ago
2005
IEEE
In this work we evaluate the implementation of a video encoder based on the 3D Wavelet Transform optimized for HyperThreading technology and SMPs. We design several implementation...
118
click to vote
WADS
2005
Springer
15 years 6 months ago
2005
Springer
Important generalizations of the Vertex Cover problem (Connected Vertex Cover, Capacitated Vertex Cover, and Maximum Partial Vertex Cover) have been intensively studied in terms of...
97
Voted
WWW
2010
ACM
15 years 6 months ago
2010
ACM
This tutorial focuses on the task of automated information linking in text and multimedia sources. In any task where information is fused from different sources, this linking is ...
105
Voted
SIGIR
2003
ACM
15 years 6 months ago
2003
ACM
Information retrieval system evaluation is complicated by the need for manually assessed relevance judgments. Large manually-built directories on the web open the door to new eval...