3228 search results - page 74 / 646 » Computationally Sound Proofs |
DEXAW
2000
IEEE
14 years 1 months ago
2000
IEEE
Region-based image retrieval systems aim to improve the effectiveness of content-based search by decomposing each image into a set of “homogeneous” regions. Thus, similarity b...
CSIE
2009
IEEE
14 years 3 months ago
2009
IEEE
We present the current results of our ongoing research in achieving efficient control of a flying robot for a wide variety of possible applications. A lightweight small indoor h...
HUC
2007
Springer
14 years 3 months ago
2007
Springer
We describe a novel method for symbolic location discovery of simple objects. The method requires no infrastructure and relies on simple sensors routinely used in sensor nodes and ...
CRYPTO
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we continue the study the round complexity of black-box zero knowledge in the bare public-key (BPK, for short) model previously started by Micali and Reyzin in [11]....
NIME
2005
Springer
14 years 2 months ago
2005
Springer
In recent years Computer Network-Music has increasingly captured the attention of the Computer Music Community. With the advent of Internet communication, geographical displacemen...