9359 search results - page 564 / 1872 » Generalization Algorithms for Second-Order Terms |
172
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
190
click to vote
MOBIHOC
2002
ACM
16 years 6 months ago
2002
ACM
Ad hoc networks formed without the aid of any established infrastructure are typically multi-hop networks. Location dependent contention and "hidden terminal" problem ma...
178
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
The use of CMOS nanometer technologies at 65 nm and below will pose serious challenges on the design of mixed-signal integrated systems in the very near future. Rising design comp...
170
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Analog and mixed-signal CAD looks like a nice success story: there's been significant research in building design automation tools since the late 80's, and commercial to...
162
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
In this paper we present a new way of translating documents by using a Web-based system. An interactive approach is proposed as an alternative to post-editing the output of a mach...