630 search results - page 125 / 126 » Causality based generation of directed test cases |
CEC
2010
IEEE
14 years 11 months ago
2010
IEEE
Inspired originally by the Learnable Evolution Model(LEM) [5], we investigate LEM(ID3), a hybrid of evolutionary search with ID3 decision tree learning. LEM(ID3) involves interleav...
103
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: Modelling the ligand binding site of a protein is an important component of understanding proteinligand interactions and is being actively studied. Even if the side ch...
BMCBI
2008
14 years 10 months ago
2008
Background: The information from different data sets experimented under different conditions may be inconsistent even though they are performed with the same research objectives. ...
103
click to vote
CGF
2006
14 years 10 months ago
2006
Based on the potential of current programmable GPUs, recently several approaches were developed that use the GPU to calculate deformations of surfaces like the folding of cloth or...
109
click to vote
JAR
2000
14 years 9 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...