3134 search results - page 66 / 627 » Computing full disjunctions |
AES
2006
Springer
13 years 10 months ago
2006
Springer
This paper describes the development and application of a piece of engineering software that provides a Problem Solving Environment (PSE) capable of launching, and interfacing wit...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we propose power efficient motion estimation (ME) using multiple imprecise sum absolute difference (SAD) metric computations. We extend recent work in [18] by prov...
SRDS
2007
IEEE
14 years 4 months ago
2007
IEEE
As the use of the Internet continues to grow explosively, edge computing has emerged as an important technique for delivering Web content over the Internet. Edge computing moves d...
ASIAN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
EUC
2004
Springer
14 years 3 months ago
2004
Springer
One fundamental task to realize the envisioned ubiquitous computing paradigm is the proper management of the data generated in this environment. The special characteristics of high...