1713 search results - page 290 / 343 » Analysis of Procedure Splitability |
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
BIBE
2007
IEEE
14 years 3 months ago
2007
IEEE
—High-throughput data such as microarrays make it possible to investigate the molecular-level mechanism of cancer more efficiently. Computational methods boost the microarray ana...
COLT
2007
Springer
14 years 3 months ago
2007
Springer
This paper analyzes the potential advantages and theoretical challenges of “active learning” algorithms. Active learning involves sequential sampling procedures that use infor...
ICA
2007
Springer
14 years 3 months ago
2007
Springer
A common problem in independent component analysis after prewhitening is to optimize some contrast on the orthogonal or unitary group. A popular approach is to optimize the contras...
LPAR
2007
Springer
14 years 3 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...