Sciweavers

2215 search results - page 18 / 443
» Wide open spaces
Sort
View
LMCS
2006
79views more  LMCS 2006»
13 years 8 months ago
Computably Based Locally Compact Spaces
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...
Paul Taylor 0002
CODES
2004
IEEE
14 years 16 days ago
Efficient search space exploration for HW-SW partitioning
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...
Sudarshan Banerjee, Nikil D. Dutt
APAL
2006
85views more  APAL 2006»
13 years 8 months ago
Compact spaces, elementary submodels, and the countable chain condition
Given a space X, J in an elementary submodel M of H(), define XM to be X M with the topology generated by {U M : U J M}. It is established, using anti-large-cardinals assumptio...
Lúcia R. Junqueira, Paul Larson, Franklin D...
SEUS
2005
IEEE
14 years 2 months ago
SLAP: A Location-Aware Software Infrastructure for Smart Space
In this paper, aiming at the deficiencies of Open Agent Architecture (OAA) on accommodating the location-aware computing, we propose an improved software infrastructure for Smart ...
Hongliang Gu, Yuanchun Shi, Guangyou Xu, Weisheng ...
CDC
2009
IEEE
14 years 1 months ago
Metrics on the space of bounded Keplerian orbits and space situational awareness
— A main difficulty for orbit determination of space debris is the correlation of tracks of data belonging to the same physical object. A sequence of optical measurements of an ...
Jared M. Maruskin, Daniel J. Scheeres