3456 search results - page 252 / 692 » Algorithms for Interface Synthesis |
176
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
199
click to vote
JMM2
2006
15 years 6 months ago
2006
There are a few fundamental pointing-based user interface techniques for performing selections in 3D environments. One of these techniques is ray pointing, which makes selections b...
192
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
The computational power and sensory capabilities of mobile devices are increasing dramatically these days, rendering them suitable for real-time sound synthesis and various musica...
212
click to vote
CSCW
2004
ACM
16 years 1 days ago
2004
ACM
Researchers seeking alternatives to traditional desktop computers have begun exploring the potential collaborative benefits of digital tabletop displays. However, there are still ...
183
click to vote
LAWEB
2009
IEEE
16 years 1 months ago
2009
IEEE
—Computer science academics and professionals typically consider their contributions in terms of the algorithms, applications, and techniques that they develop. Yet equally impor...