893 search results - page 157 / 179 » Environment Assumptions for Synthesis |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Pervasive computing appears like a new computing era based on networks of objects and devices evolving in a real world, radically different from distributed computing, based on ne...
TSP
2010
13 years 2 months ago
2010
Spectrum sharing employs dynamic allocation of frequency resources for a more efficient use of the radio spectrum. Despite its appealing features, this technology inevitably compli...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Imitation can be viewed as a means of enhancing learning in multiagent environments. It augments an agent’s ability to learn useful behaviors by making intelligent use of the kn...
3DIM
2011
IEEE
12 years 7 months ago
2011
IEEE
—We address the problem of registering a set of 2D laser scans in 3D space with regard to six degrees of freedom. Registering single 2D scans is only possible when making strong ...
ATVA
2011
Springer
12 years 7 months ago
2011
Springer
In [AKL10], we showed how viewing online algorithms as reactive systems enables the application of ideas from formal verification to the competitive analysis of online algorithms....