3582 search results - page 408 / 717 » Designing games with a purpose |
191
click to vote
PADO
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...
206
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
178
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we introduce a discrete-time model for the complete power supply sub-system that closely approximates the behavior of its circuit-level (i.e., HSpice), continuous-t...
159
Voted
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
Minimal surface regularization has been used in several applications ranging from stereo to image segmentation, sometimes hidden as a graph-cut discrete formulation, or as a stric...
189
click to vote
SRDS
2000
IEEE
15 years 11 months ago
2000
IEEE
Reliable multicast protocols can strongly simplify the design of distributed applications. However, it is hard to sustain a high multicast throughput when groups are large and het...