3251 search results - page 102 / 651 » On a vector q-d algorithm |
130
click to vote
TACAS
2007
Springer
15 years 7 months ago
2007
Springer
ion Randal E. Bryant1 , Daniel Kroening2 , Jo¨el Ouaknine3 , Sanjit A. Seshia4 , Ofer Strichman5 , and Bryan Brady4 1 Carnegie Mellon University, Pittsburgh 2 ETH Z¨urich 3 Oxfor...
UIST
2005
ACM
15 years 7 months ago
2005
ACM
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...
121
click to vote
ICMCS
2010
IEEE
15 years 2 months ago
2010
IEEE
The ongoing increase of computing performance facilitates a higher algorithmical complexity in video coding systems. The decoder may be able to estimate or derive prediction param...
110
click to vote
ICAISC
2010
Springer
15 years 1 months ago
2010
Springer
Attempts to extract logical rules from data often lead to large sets of classification rules that need to be pruned. Training two classifiers, the C4.5 decision tree and the Non-Ne...
129
click to vote
AAECC
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We present new performance models and a new, more compact data structure for cache blocking when applied to the sparse matrixvector multiply (SpM×V) operation, y ← y +...