2661 search results - page 498 / 533 » Quantum Complexity Classes |
119
click to vote
EUROCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
114
click to vote
KDD
2004
ACM
15 years 6 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
105
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
132
click to vote
SAB
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
121
Voted
SAMOS
2004
Springer
15 years 6 months ago
2004
Springer
In recent years, power consumption has become a critical concern for many VLSI systems. Whereas several case studies demonstrate that technology-, layout-, and gate-level technique...