792 search results - page 56 / 159 » An Algorithmic Method for Reducing Conductance-based Neuron ... |
105
Voted
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
The fully scalable motion model (SMM) is proposed for scalable video codec by taking advantage of motion information scalability. In previous work, SMM has been improved to suppor...
97
Voted
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
— In appearance based robot localization a new image is matched with every image in the database. In this paper we describe how to reduce the number of images in this database wi...
117
Voted
ICCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
93
Voted
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— While packet capture has been observed in real implementations of 802.11 devices, there is a lack of accurate models that describe the phenomenon. We present a general ...
129
Voted
FMCAD
1998
Springer
15 years 5 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...