11 search results - page 2 / 3 » Inductive Logic Programming for Structure-Activity Relations... |
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
BMCBI
2004
13 years 4 months ago
2004
Background: Recent technological advances in high-throughput data collection allow for experimental study of increasingly complex systems on the scale of the whole cellular genome...
HPCA
2008
IEEE
14 years 5 months ago
2008
IEEE
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...
ILP
2007
Springer
13 years 11 months ago
2007
Springer
Machine-generated documents containing semi-structured text are rapidly forming the bulk of data being stored in an organisation. Given a feature-based representation of such data,...