3116 search results - page 401 / 624 » Positively dependent types |
193
click to vote
WADS
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents a general family of 3D hinged dissections for polypolyhedra, i.e., connected 3D solids formed by joining several rigid copies of the same polyhedron along iden...
154
click to vote
ISLPED
2004
ACM
16 years 1 days ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
170
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
164
click to vote
UIST
2004
ACM
16 years 23 hour ago
2004
ACM
Location-enhanced applications use the location of people, places, and things to augment or streamline interaction. Location-enhanced applications are just starting to emerge in s...
160
click to vote
AIRS
2004
Springer
16 years 11 hour ago
2004
Springer
There exist practical bit-parallel algorithms for several types of pair-wise string processing, such as longest common subsequence computation or approximate string matching. The b...