729 search results - page 43 / 146 » in touch |
82
Voted
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
We advocate an approach towards the characterisation of components where their qualifications are deduced systematically from a small set of elementary assumptions. Using the chara...
117
click to vote
ENTCS
2008
15 years 16 days ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
88
Voted
CORR
2007
Springer
15 years 13 days ago
2007
Springer
We show that for every n > 0 there is a planar topological disk A0 and n translates A1, A2, . . . , An of A0 such that the interiors of A0, . . . An are pairwise disjoint, but ...
97
Voted
COMBINATORICS
1999
15 years 4 days ago
1999
We compute the number of rhombus tilings of a hexagon with sides n, n, N, n, n, N, where two triangles on the symmetry axis touching in one vertex are removed. The case of the comm...
108
Voted
TEI
2012
ACM
13 years 8 months ago
2012
ACM
Graspable tangibles are now being explored on the current generation of capacitive touch surfaces, such as the iPad and the Android tablet. Because the size and form factor is rel...