19342 search results - page 3810 / 3869 » Decentralised Process Modelling |
132
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
138
click to vote
MIR
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...
154
click to vote
CIVR
2008
Springer
15 years 4 months ago
2008
Springer
Since the emergence of extensive multimedia data, feature fusion has been more and more important for image and video retrieval, indexing and annotation. Existing feature fusion t...
137
Voted
IWMM
2010
Springer
15 years 4 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
113
click to vote
DIMEA
2007
15 years 4 months ago
2007
Businesses today are requiring higher levels of creativity and innovation in the face of rapid change, fierce competition and increasingly complex markets. Nowhere is the more obv...