2215 search results - page 46 / 443 » Wide open spaces |
ICCCN
2008
IEEE
14 years 3 months ago
2008
IEEE
—In recent times, the importance of information security in civilian space communication systems has increased significantly among space agencies. Those systems often require a ...
ISAAC
2007
Springer
14 years 3 months ago
2007
Springer
Checking value-sensitive data structures in sublinear space has been an open problem for over a decade. In this paper, we suggest a novel approach to solving it. We show that, in c...
SETN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Constructive methods obtain solutions to constraint satisfaction problem instances by iteratively extending consistent partial assignments. In this research, we study the...
AIML
2006
13 years 10 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
APPROX
2009
Springer
14 years 3 months ago
2009
Springer
Small-bias, or -biased, spaces have found many applications in complexity theory, coding theory, and derandomization. We generalize the notion of small-bias spaces to the setting ...