Sciweavers

13841 search results - page 2199 / 2769
» Algorithms and Constraint Programming
Sort
View
TC
2008
15 years 7 months ago
RACE: A Robust Adaptive Caching Strategy for Buffer Cache
While many block replacement algorithms for buffer caches have been proposed to address the wellknown drawbacks of the LRU algorithm, they are not robust and cannot maintain a cons...
Yifeng Zhu, Hong Jiang
TWC
2008
155views more  TWC 2008»
15 years 7 months ago
Distributed sensor network localization using SOCP relaxation
The goal of the sensor network localization problem is to determine positions of all sensor nodes in a network given certain pairwise noisy distance measurements and some anchor no...
Seshan Srirangarajan, Ahmed H. Tewfik, Zhi-Quan Lu...
ENTCS
2002
143views more  ENTCS 2002»
15 years 7 months ago
Collecting Statistics over Runtime Executions
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny S...
TEC
2002
119views more  TEC 2002»
15 years 6 months ago
Graph-based evolutionary design of arithmetic circuits
Abstract--In this paper, we present an efficient graph-based evolutionary optimization technique called evolutionary graph generation (EGG) and the proposed approach is applied to ...
Dingjun Chen, Takafumi Aoki, Naofumi Homma, Toshik...
MVA
2007
158views Computer Vision» more  MVA 2007»
15 years 6 months ago
Hybrid object labelling in digital images
The application of a technique for labelling connected components based on the classical recursive technique is studied. The recursive approach permits labelling, counting, and cha...
Julio Martín-Herrero
« Prev « First page 2199 / 2769 Last » Next »