4299 search results - page 599 / 860 » Concurrent Test Generation |
120
click to vote
ENTCS
2008
15 years 4 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...
137
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: A new method for the prediction of protein structural classes is constructed based on Rough Sets algorithm, which is a rule-based data mining method. Amino acid compos...
105
click to vote
CG
2006
Springer
15 years 4 months ago
2006
Springer
This paper reports the work on a novel wavelet-based multi-scale filtering application used to generate very smooth subset of profiles known as Class-A curves. The multi-scale rep...
122
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
Progress in adapting molecular dynamics algorithms for systems with short-range interactions to utilize the features of modern supercomputers is described. Efficient utilization o...
162
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
State-of-the-art molecular dynamics (MD) simulations generate massive datasets involving billion-vertex chemical bond networks, which makes data mining based on graph algorithms s...