8917 search results - page 1528 / 1784 » Abstraction in Algorithm Animation |
136
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Abstract: This paper presents an approach to area optimization of arithmetic datapaths that perform polynomial computations over bit-vectors with finite widths. Examples of such de...
159
click to vote
CAIP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Rigidity and reflectance are key object properties, important in their own rights, and they are key properties that stratify motion reconstruction algorithms. However, th...
138
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
146
click to vote
CIARP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Diversity is a key characteristic to obtain advantages of combining predictors. In this paper, we propose a modification of bagging to explicitly trade off diversity and ...
118
click to vote
PAKDD
2010
ACM
15 years 8 months ago
2010
ACM
Abstract. We report a surprising, persistent pattern in large sparse social graphs, which we term EigenSpokes. We focus on large Mobile Call graphs, spanning about 186K nodes and m...