9997 search results - page 1777 / 2000 » The case for crowd computing |
167
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
188
click to vote
CIVR
2007
Springer
16 years 24 days ago
2007
Springer
This paper proposes and compares two novel schemes for near duplicate image and video-shot detection. The first approach is based on global hierarchical colour histograms, using ...
196
click to vote
COCO
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and GF(2) polynomials. The key is t...
152
click to vote
CPM
2007
Springer
16 years 24 days ago
2007
Springer
We consider the two-dimensional Range Minimum Query problem: for a static (m × n)-matrix of size N = mn which may be preprocessed, answer on-line queries of the form “where is t...
172
click to vote
EMSOFT
2007
Springer
16 years 24 days ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...