7195 search results - page 473 / 1439 » On Computing Power |
185
click to vote
TAMC
2009
Springer
16 years 1 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
175
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a simple, yet powerful, approach for the specification and enforcement of authorizations regulating data release among data holders collaborating in a distributed comp...
164
click to vote
CCECE
2006
IEEE
16 years 1 months ago
2006
IEEE
Blind modulation classification (MC) is an intermediate step between signal detection and demodulation, with both military and civilian applications. MC is a challenging task, esp...
175
click to vote
HUC
2005
Springer
16 years 14 days ago
2005
Springer
Ubiquitous computing technologies which are cheap and easy to use are more likely to be adopted by users beyond the ubiquitous computing community. We present an ultrasonic-only tr...
171
click to vote
CIS
2006
Springer
15 years 10 months ago
2006
Springer
The emerging ubiquitous computing is changing the current computing paradigm, and it lets the ubiquitous RFID applications consistently and independently utilize the sensed inform...