Sciweavers

3105 search results - page 180 / 621
» The Path-Packing Structure of Graphs
Sort
View
144
Voted
SEMWEB
2010
Springer
15 years 1 months ago
Towards Technology Structure Mining from Scientific Literature
Abstract. This paper introduces the task of Technology-Structure Mining to support Management of Technology. We propose a linguistic based approach for identification of Technology...
Behrang QasemiZadeh
135
Voted
DATE
2009
IEEE
113views Hardware» more  DATE 2009»
15 years 10 months ago
Exploiting structure in an AIG based QBF solver
—In this paper we present a procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure. We make extensive use of s...
Florian Pigorsch, Christoph Scholl
PODC
2004
ACM
15 years 9 months ago
Load balancing and locality in range-queriable data structures
We describe a load-balancing mechanism for assigning elements to servers in a distributed data structure that supports range queries. The mechanism ensures both load-balancing wit...
James Aspnes, Jonathan Kirsch, Arvind Krishnamurth...
145
Voted
SEKE
2001
Springer
15 years 8 months ago
Gadget: A Tool for Extracting the Dynamic Structure of Java Programs
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...
Juan Gargiulo, Spiros Mancoridis
141
Voted
CIKM
2008
Springer
15 years 5 months ago
Estimating the number of answers with guarantees for structured queries in p2p databases
Structured P2P overlays supporting standard database functionalities are a popular choice for building large-scale distributed data management systems. In such systems, estimating...
Marcel Karnstedt, Kai-Uwe Sattler, Michael Ha&szli...