2060 search results - page 219 / 412 » The Composition of Event-B Models |
205
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
178
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
The Bag-Of-Visual-Words (BOVW) paradigm is fast becoming a popular image representation for Content-Based Image Retrieval (CBIR), mainly because of its better retrieval effectiven...
209
click to vote
JMLR
2012
13 years 9 months ago
2012
Standard compressive sensing results state that to exactly recover an s sparse signal in Rp , one requires O(s · log p) measurements. While this bound is extremely useful in prac...
173
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
We present a novel framework for tracking of a long sequence of human activities, including the time instances of change from one activity to the next, using a closed-loop, non-li...
182
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...