1795 search results - page 235 / 359 » On the Complexity of Circuit Satisfiability |
156
click to vote
IJIS
2008
15 years 6 months ago
2008
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...
167
click to vote
IVC
2008
15 years 6 months ago
2008
In this paper we present a new physically motivated curve/region descriptor based on the solution of Helmholtz's equation. The descriptor we propose satisfies the six princip...
177
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— Design criteria and full-diversity Distributed Space Time Codes (DSTCs) for the two phase transmission based cooperative diversity protocol of Jing-Hassibi and the Generalized ...
122
click to vote
JMIV
2006
15 years 6 months ago
2006
The paper presents a new set of axioms of digital topology, which are easily understandable for application developers. They define a class of locally finite (LF) topological space...
187
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...