4597 search results - page 890 / 920 » Structuring Agents for Adaptation |
127
Voted
POPL
2010
ACM
16 years 20 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
161
Voted
EUROGRAPHICS
2010
Eurographics
16 years 11 days ago
2010
Eurographics
In this paper we show how to use two-colored pixels as a generic tool for image processing. We apply twocolored pixels as a basic operator as well as a supporting data structure f...
141
Voted
ICCAD
2004
IEEE
16 years 5 days ago
2004
IEEE
— Cycle-accurate functional descriptions (CAFDs) are being widely adopted in integrated circuit (IC) design flows. Power estimation can potentially benefit from the inherent in...
142
click to vote
SOSP
2005
ACM
16 years 5 days ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...
189
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 10 months ago
2010
Eurographics
We present a novel representation and rendering method for free-viewpoint video of human characters based on multiple input video streams. The basic idea is to approximate the art...