792 search results - page 17 / 159 » An Algorithmic Method for Reducing Conductance-based Neuron ... |
EDBT
2011
ACM
12 years 11 months ago
2011
ACM
The quadratic form distance (QFD) has been utilized as an effective similarity function in multimedia retrieval, in particular, when a histogram representation of objects is used...
HPCN
1994
Springer
13 years 11 months ago
1994
Springer
On large distributed memory parallel computers the global communication cost of inner products seriously limits the performance of Krylov subspace methods 3]. We consider improved ...
PRESENCE
1998
13 years 7 months ago
1998
Many multiresolution methods have been proposed. Most of them emphasize accuracy and hence are slow. Some methods may be fast, but they may not preserve the geometry of the model....
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we describe a flexible and efficient new algorithm for model order reduction of parameterized systems. The method is based on the reformulation of the parametric s...
CAV
1998
Springer
13 years 11 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...