175 search results - page 24 / 35 » Informed Lifting for Message-Passing |
JCS
2007
14 years 11 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...
KES
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We propose an interaction technique called “gripping” to improve the operation of input with pen-based interfaces. This operation involves a strong grip when holding ...
72
Voted
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a new multiresolution analysis framework for irregular meshes with attributes based on the lifting scheme. We introduce a surface prediction operator to compute the det...
136
click to vote
MOBISYS
2011
ACM
14 years 2 months ago
2011
ACM
Clock synchronization is critical for Wireless Sensor Networks (WSNs) due to the need of inter-node coordination and collaborative information processing. Although many message pa...
CHI
2010
ACM
15 years 5 months ago
2010
ACM
Tablet PCs are gaining popularity but many older adults still struggle with pointing, particularly with two error types: missing, landing and lifting outside the target bounds; an...