2171 search results - page 96 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
125
Voted
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
This paper investigates some power efficient data cache designs that try to significantly reduce the cache energy consumption, both static and dynamic, with a minimal impact in pe...
115
click to vote
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. Current numerical methods for assessing the statistical significance of local alignments with gaps are time consuming. Analytical solutions thus far have been limited to ...
168
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
165
Voted
NIPS
2001
15 years 6 months ago
2001
We consider the problem of learning to attain multiple goals in a dynamic environment, which is initially unknown. In addition, the environment may contain arbitrarily varying ele...
178
click to vote
JVCA
2010
15 years 3 months ago
2010
We present a new algorithm to generate plausible motions for high-DOF human-like articulated figures in constrained environments with multiple obstacles. Our approach is general ...