3637 search results - page 326 / 728 » On Dynamic Bit-Probe Complexity |
192
click to vote
TPLP
2002
15 years 6 months ago
2002
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
180
click to vote
AES
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
199
click to vote
WABI
2010
Springer
15 years 5 months ago
2010
Springer
Background: Although many RNA molecules contain pseudoknots, computational prediction of pseudoknotted RNA structure is still in its infancy due to high running time and space con...
190
click to vote
IDA
2009
Springer
15 years 4 months ago
2009
Springer
We address the applicability of blind source separation (BSS) methods for the estimation of hidden influences in biological dynamic systems such as metabolic or gene regulatory net...
207
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...