110 search results - page 19 / 22 » Interpolation in Local Theory Extensions |
191
click to vote
POPL
2008
ACM
16 years 19 days ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
ICFP
2003
ACM
16 years 8 days ago
2003
ACM
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
125
click to vote
MICRO
2006
IEEE
15 years 8 days ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...
134
Voted
3DIM
2011
IEEE
14 years 10 days ago
2011
IEEE
Abstract—During the last few years a wide range of algorithms and devices have been made available to easily acquire range images. To this extent, the increasing abundance of dep...
209
Voted
SIGMOD
2009
ACM
16 years 16 days ago
2009
ACM
Nearest neighbor (NN) search in high dimensional space is an important problem in many applications. Ideally, a practical solution (i) should be implementable in a relational data...