2432 search results - page 274 / 487 » Using simple abstraction to reinvent computing for paralleli... |
173
click to vote
WSCG
2003
15 years 6 months ago
2003
The visual representation of complex data has always been a major motivation for computer graphics. However, there have always been computer graphics scenes which were too complex...
128
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
165
Voted
TIP
2008
15 years 5 months ago
2008
Abstract--This paper presents a new, simple, and efficient segmentation approach, based on a fusion procedure which aims at combining several segmentation maps associated to simple...
153
Voted
MSCS
2007
15 years 4 months ago
2007
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
178
click to vote
MIDDLEWARE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Data aggregation is a key aspect of many distributed applications, such as distributed sensing, performance monitoring, and distributed diagnostics. In such settings, use...