5180 search results - page 919 / 1036 » Concurrency, Time, and Constraints |
162
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
167
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Genetic algorithms (GAs) used in complex optimization domains usually need to perform a large number of fitness function evaluations in order to get near-optimal solutions. In rea...
178
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—The proliferation of wireless systems requires that the coexistence between heterogeneous technologies be addressed. This paper presents a cognitive framework in which sensingba...
193
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We develop a semi-supervised learning method that constrains the posterior distribution of latent variables under a generative model to satisfy a rich set of feature expectation c...
176
click to vote
AIPS
2010
15 years 6 months ago
2010
Over the last few years there has been a revival of interest in the idea of least-commitment planning with a number of researchers returning to the partial-order planning approach...