2152 search results - page 122 / 431 » A Comparative Study of 2QBF Algorithms |
143
click to vote
STTT
2011
14 years 11 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
159
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—Despite the proliferation of work on XML keyword query, it remains open to support keyword query over probabilistic XML data. Compared with traditional keyword search, it is far...
114
click to vote
BIRD
2008
Springer
15 years 6 months ago
2008
Springer
We study the problem of structured motif search in DNA sequences. This is a fundamental task in bioinformatics which contributes to better understanding of genome characteristics a...
105
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
: The paper proposes a novel calibration approach for the Orthoglide-type mechanisms based on observations of the manipulator leg parallelism during motions between the prespecifie...
124
click to vote
CCR
1999
15 years 4 months ago
1999
In ATM UBR networks supporting TCP traffic, optimal efficiency can only be envisaged if switches adopt a discard mechanism that operates at the packet level rather than the cell l...