4099 search results - page 135 / 820 » A Framework for Interactive Proof |
150
Voted
VIS
2007
IEEE
16 years 6 months ago
2007
IEEE
We present a powerful framework for 3D-texture-based rendering of multiple arbitrarily intersecting volumetric datasets. Each volume is represented by a multi-resolution octree-bas...
247
click to vote
CC
2009
Springer
16 years 6 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
155
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Research in the area of Multi-Agent System (MAS) organization has shown that the ability for a MAS to adapt its organizational structure can be beneficial when coping wi...
189
Voted
AVI
2006
15 years 6 months ago
2006
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...
144
click to vote
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
Convex relaxation techniques have become a popular approach to image segmentation as they allow to compute solutions independent of initialization to a variety of image segmentati...