Sciweavers

2313 search results - page 389 / 463
» On Heuristic Time Hierarchies
Sort
View
TVLSI
2002
130views more  TVLSI 2002»
15 years 5 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
PVLDB
2008
77views more  PVLDB 2008»
15 years 5 months ago
Efficient network aware search in collaborative tagging sites
The popularity of collaborative tagging sites presents a unique opportunity to explore keyword search in a context where query results are determined by the opinion of a network o...
Sihem Amer-Yahia, Michael Benedikt, Laks V. S. Lak...
PVLDB
2008
116views more  PVLDB 2008»
15 years 5 months ago
Accuracy estimate and optimization techniques for SimRank computation
The measure of similarity between objects is a very useful tool in many areas of computer science, including information retrieval. SimRank is a simple and intuitive measure of th...
Dmitry Lizorkin, Pavel Velikhov, Maxim N. Grinev, ...
INFOCOM
2010
IEEE
15 years 4 months ago
SlideOR: Online Opportunistic Network Coding in Wireless Mesh Networks
—Opportunistic routing significantly increases unicast throughput in wireless mesh networks by effectively utilizing the wireless broadcast medium. With network coding, opportun...
Yunfeng Lin, Ben Liang, Baochun Li
JCNS
2010
86views more  JCNS 2010»
15 years 4 months ago
Reduced models for binocular rivalry
Binocular rivalry occurs when two very different images are presented to the two eyes, but a subject perceives only one image at a given time. A number of computational models for...
Carlo R. Laing, Thomas Frewen, Ioannis G. Kevrekid...