4482 search results - page 190 / 897 » The Crowdsourcing Design Space |
156
click to vote
SSD
2001
Springer
15 years 10 months ago
2001
Springer
The need to access spatial data at multiple levels of detail is a fundamental requirement of many applications of geographical information, yet conventional spatial database access...
161
click to vote
DCC
1998
IEEE
15 years 10 months ago
1998
IEEE
Multi-hypothesis motion-compensated prediction extends traditional motion-compensated prediction used in video coding schemes. Known algorithms for block-based multi-hypothesis mo...
166
click to vote
DISOPT
2007
15 years 6 months ago
2007
The class Max (r, 2)-CSP (or simply Max 2-CSP) consists of constraint satisfaction problems with at most two r-valued variables per clause. For instances with n variables and m bin...
144
click to vote
SEFM
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we introduce a component-based design methodology and present a practical analysis approach that makes use of the modular nature of component-based designs to allev...
209
Voted
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...