1176 search results - page 200 / 236 » Implicit Abstraction Heuristics |
124
click to vote
AAECC
2007
Springer
15 years 18 days 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 +...
103
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Abstract--We show that the maximization of the sum degreesof-freedom for the static flat-fading multiple-input multipleoutput (MIMO) interference channel is equivalent to a rank co...
101
click to vote
ACTA
2006
15 years 16 days ago
2006
Abstract Selectivity estimation of a boolean query based on frequent itemsets can be solved by describing the problem by a linear program. However, the number of variables in the e...
90
Voted
CORR
2006
Springer
15 years 14 days ago
2006
Springer
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
102
Voted
JASIS
2008
15 years 13 days ago
2008
Abstract. In spite of policy concerns and high costs, the law enforcement community is investing heavily in data sharing initiatives. Cross-jurisdictional criminal justice informat...