Sciweavers

3055 search results - page 524 / 611
» Randomized Search Trees
Sort
View
101
Voted
CORR
2010
Springer
104views Education» more  CORR 2010»
14 years 12 months ago
FreePub: Collecting and Organizing Scientific Material Using Mindmaps
This paper presents a creativity support tool, called FreePub, to collect and organize scientific material using mindmaps. Mindmaps are visual, graph-based represenations of concep...
Theodore Dalamagas, Tryfon Farmakakis, Manolis Mar...
130
Voted
TVCG
2011
274views more  TVCG 2011»
14 years 9 months ago
Memory-Scalable GPU Spatial Hierarchy Construction
We present two novel algorithms for constructing spatial hierarchies on GPUs. The first is for kd-trees that automatically balances between the level of parallelism and total mem...
Qiming Hou, Xin Sun, Kun Zhou, Christian Lauterbac...
126
Voted
WWW
2011
ACM
14 years 9 months ago
Growing parallel paths for entity-page discovery
In this paper, we use the structural and relational information on the Web to find entity-pages. Specifically, given a Web site and an entity-page (e.g., department and faculty ...
Tim Weninger, Fabio Fumarola, Cindy Xide Lin, Rick...
127
Voted
JAR
2010
98views more  JAR 2010»
14 years 9 months ago
Proof-Guided Test Selection from First-Order Specifications with Equality
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ide...
Delphine Longuet, Marc Aiguier, Pascale Le Gall
223
Voted
FCCM
2011
IEEE
311views VLSI» more  FCCM 2011»
14 years 6 months ago
String Matching in Hardware Using the FM-Index
—String matching is a ubiquitous problem that arises in a wide range of applications in computing, e.g., packet routing, intrusion detection, web querying, and genome analysis. D...
Edward Fernandez, Walid Najjar, Stefano Lonardi