6799 search results - page 164 / 1360 » The Tao of Modeling Spaces |
MASCOTS
2004
15 years 3 months ago
2004
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...
95
Voted
JANCL
2007
15 years 1 months ago
2007
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...
150
click to vote
NC
2011
14 years 8 months ago
2011
We consider recognizer P systems having three polarizations associated to the membranes, and we show that they are able to solve the PSPACEcomplete problem Quantified 3SAT when wo...
100
click to vote
MOC
2010
14 years 8 months ago
2010
Consider the space of two dimensional vector functions whose components and curl are square integrable with respect to the degenerate weight given by the radial variable. This spac...
113
click to vote
ISBI
2002
IEEE
16 years 2 months ago
2002
IEEE
A new algorithm for 3D reconstruction of twodimensional crystals from projections is presented, and applied to biological macromolecules imaged using electron microscopy. Its main...