5855 search results - page 1042 / 1171 » Test generation and minimization with |
110
click to vote
ENTCS
2006
15 years 1 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
146
click to vote
IJHPCA
2008
15 years 1 months ago
2008
We present a de novo hierarchical simulation framework for first-principles based predictive simulations of materials and their validation on high-end parallel supercomputers and ...
129
click to vote
JMLR
2008
15 years 1 months ago
2008
The computational complexities arising in motor control can be ameliorated through the use of a library of motor synergies. We present a new model, referred to as the Greedy Addit...
112
Voted
IPM
2007
15 years 1 months ago
2007
We describe a compression model for semistructured documents, called Structural Contexts Model (SCM), which takes advantage of the context information usually implicit in the stru...
159
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The multitude of motif detection algorithms developed to date have largely focused on the detection of patterns in primary sequence. Since sequence-dependent DNA struc...