20066 search results - page 291 / 4014 » T Spaces |
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
150
Voted
IEICET
2006
15 years 6 months ago
2006
Abstract -- The application of Orthogonal SpaceTime Block Codes (O-STBC) as the encoding scheme in the presence of "non-quasi-static" fading was considered. A simple and ...
204
click to vote
JCT
2008
15 years 6 months ago
2008
ABSTRACT. In this paper we give a lower bound for the least distortion embedding of a distance regular graph into Euclidean space. We use the lower bound for finding the least dist...
187
click to vote
DISOPT
2007
15 years 6 months ago
2007
In hypercube packing, we receive a sequence of hypercubes that need to be packed into unit hypercubes which are called bins. Items arrive online and each item must be placed withi...
156
click to vote
JSYML
2006
15 years 6 months ago
2006
f spaces of signs (abstract real spectra) developed in [1] [18]. We consider pp (positive primitive) formulas in the language of reduced special groups as in [20]. We denote the pp...