1444 search results - page 247 / 289 » The end of users |
CHI
2011
ACM
14 years 1 months ago
2011
ACM
We present Interactive Generator (InGen), a self-powered wireless rotary input device capable of generating haptic or force feedback without the need for any external power source...
107
click to vote
CORR
2012
Springer
13 years 5 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
117
click to vote
KDD
2012
ACM
13 years 4 days ago
2012
ACM
Clipping Web pages, namely extracting the informative clips (areas) from Web pages, has many applications, such as Web printing and e-reading on small handheld devices. Although m...
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
In today’s extensive worldwide Internet traffic, some 60% of network congestion is caused by Peer to Peer sessions. Consequently ISPs are facing many challenges like: paying fo...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
Communities gather Web services that provide a common functionality, acting as an intermediate layer between end users and Web services. On the one hand, they provide a single endp...