2935 search results - page 184 / 587 » An Integrated Approach to High Integrity Software Verificati... |
155
click to vote
EWSA
2005
Springer
16 years 2 days ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
164
click to vote
HPDC
2006
IEEE
16 years 18 days ago
2006
IEEE
High performance application development remains challenging, particularly for scientists making the transition to a Grid environment. In general areas of computing, virtual envir...
290
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
156
click to vote
BIOSURVEILLANCE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, p...
253
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--In this paper, we propose a new approach, appearance-guided particle filtering (AGPF), for high degree-of-freedom visual tracking from an image sequence. This method adop...