792 search results - page 56 / 159 » An Algorithmic Method for Reducing Conductance-based Neuron ... |
ICASSP
2010
IEEE
13 years 7 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...
IROS
2006
IEEE
14 years 1 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...
ICCS
2001
Springer
14 years 3 days 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...
INFOCOM
2006
IEEE
14 years 1 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 ...
FMCAD
1998
Springer
13 years 12 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...