2487 search results - page 12 / 498 » cases 2009 |
LOPSTR
2009
Springer
15 years 2 months ago
2009
Springer
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
ICCBR
2009
Springer
15 years 4 months ago
2009
Springer
Integrity constraint belief merging aims at producing from several knowledge bases, that may be mutually inconsistent, a synthetic knowledge base satisfying a given integrity const...
WETICE
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper presents the performance analysis of a grid-enabled MIP solver in a grid environment consisting of three clusters on a campus LAN. In particular, the paper focuses on...
GLOBECOM
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--The growth rate of the weight distribution of irregular doubly-generalized LDPC (D-GLDPC) codes is developed and in the process, a new efficient numerical technique for i...
CLOUDCOM
2009
Springer
15 years 1 months ago
2009
Springer
Many areas of science are seeing a data deluge coming from new instruments, myriads of sensors and exponential growth in electronic records. We take two examples