32545 search results - page 122 / 6509 » Data Structures and Algorithms |
104
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
126
click to vote
IADIS
2004
15 years 4 months ago
2004
Since XML becomes a crucial format for representing information, it is necessary to establish techniques for managing XML documents. A possible solution can be found in storing XM...
136
click to vote
EUSFLAT
2009
15 years 18 days ago
2009
This paper presents SaM, a split and merge algorithm for frequent item set mining. Its distinguishing qualities are an exceptionally simple algorithm and data structure, which not ...
232
click to vote
EGPGV
2011
Springer
14 years 6 months ago
2011
Springer
We present parallel algorithms for processing, extracting and rendering adaptively sampled regular terrain datasets represented as a multiresolution model defined by a super-squa...
125
click to vote
DOLAP
2000
ACM
15 years 7 months ago
2000
ACM
Being able to efficiently answer arbitrary OLAP queries that aggregate along any combination of dimensions over numerical and categorical attributes has been a continued, major co...