1696 search results - page 179 / 340 » Permuted function matching |
126
Voted
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
As process technology continues to scale into the nanoscale regime, interconnect plays an ever increasing role in determining VLSI system performance. As the complexity of these sy...
119
Voted
COCOON
2008
Springer
15 years 4 months ago
2008
Springer
This paper describes a general quantum lower bounding technique for the communication complexity of a function that depends on the inputs given to two parties connected via paths,...
100
Voted
ACL
2008
15 years 4 months ago
2008
We propose an automatic machine translation (MT) evaluation metric that calculates a similarity score (based on precision and recall) of a pair of sentences. Unlike most metrics, ...
108
Voted
SPIRE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The classical set theory provides a method for comparing objects using cardinality and intersection, in combination with well-known resemblance coefficients such as Dice,...
119
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...