3547 search results - page 644 / 710 » Pseudo-Exhaustive Testing for Software |
161
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
There is a chronic lack of shared application domains to test the research models and agent architectures on areas like negotiation, argumentation, trust and reputation. In this d...
190
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
104
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, a novel algorithm is proposed for intra-frame coding, named as rate-distortion optimized transform (RDOT). Unlike existing intra-frame coding schemes where the tran...
149
click to vote
BIOINFORMATICS
2010
15 years 6 months ago
2010
Summary: adephylo is a package for the R software dedicated to the analysis of comparative evolutionary data. Phylogenetic comparative methods initially aimed at accounting for or...
139
click to vote
BIOINFORMATICS
2007
15 years 6 months ago
2007
We address the problem of using expression data and prior biological knowledge to identify differentially expressed pathways or groups of genes. Following an idea of Ideker et al...