175 search results - page 24 / 35 » Informed Lifting for Message-Passing |
140
Voted
JCS
2007
15 years 4 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...
118
click to vote
KES
2010
Springer
15 years 2 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 ...
103
click to vote
ICIP
2005
IEEE
16 years 5 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...
188
click to vote
MOBISYS
2011
ACM
14 years 7 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...
112
click to vote
CHI
2010
ACM
15 years 9 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...