306 search results - page 25 / 62 » Dynamic Software Updates: The State Mapping Problem |
IPPS
1996
IEEE
14 years 19 days ago
1996
IEEE
Brewer and Kuszmaul [BK94] demonstrated how barriers and traffic interleaving can alleviate the problem of bulk-transfer performance degradation on the Thinking Machines CM-5, by ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In this and the associated article BioBlender: A Software for Intuitive Representation of Surface Properties of Biomolecules [1], we present BioBlender as a complete instrument fo...
BMCBI
2006
13 years 8 months ago
2006
Background: Character mapping on phylogenies has played an important, if not critical role, in our understanding of molecular, morphological, and behavioral evolution. Until very ...
AVSS
2009
IEEE
13 years 11 months ago
2009
IEEE
—Automatic understanding of human behavior is an important and challenging objective in several surveillance applications. One of the main problems of this task consists in accur...
AMAST
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...