9015 search results - page 1676 / 1803 » Using Structural Computing to Support Information Integratio... |
160
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
133
Voted
ADHOC
2011
14 years 9 months ago
2011
To accommodate real-time multimedia application while satisfying application QoS requirements in a wireless ad-hoc network, we need QoS control mechanisms. In this paper, we propo...
123
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
The elder population is rising worldwide; in the US, no longer being able to drive is a significant marker of loss of independence. One of the approaches to helping elders drive m...
149
Voted
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
Advertising plays a vital role in supporting free websites and smartphone apps. Click-spam, i.e., fraudulent or invalid clicks on online ads where the user has no actual interest ...
170
click to vote
MMSEC
2006
ACM
15 years 8 months ago
2006
ACM
We present an efficient JPEG2000-based image authentication scheme, which is robust to JPEG compression and other allowed signal processing operations. Positive wavelet-based wate...