1795 search results - page 235 / 359 » On the Complexity of Circuit Satisfiability |
88
Voted
IJIS
2008
15 years 24 days 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 ...
103
Voted
IVC
2008
15 years 24 days 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...
107
click to vote
CORR
2007
Springer
15 years 23 days 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 ...
64
Voted
JMIV
2006
15 years 23 days 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...
118
click to vote
JUCS
2006
15 years 23 days 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...