7960 search results - page 243 / 1592 » Systems for Knowledge and Beliefs |
APSEC
2007
IEEE
14 years 5 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
ICDAR
2007
IEEE
14 years 5 months ago
2007
IEEE
An integrated map of all utility services in a locale would facilitate better management of the road infrastructure and the utilities themselves. To meet this goal, there exists a...
ROBOCUP
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. A basic task of rescue robot systems is mapping of the environment. Localizing injured persons, guiding rescue workers and excavation equipment requires a precise 3D map ...
FOCS
1999
IEEE
14 years 3 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we derive an optimal resource allocation algorithm for ergodic weighted-sum capacity maximization in OFDMA systems assuming the availability of only partial (imperfe...