4421 search results - page 746 / 885 » Libraries |
109
click to vote
IGARSS
2009
14 years 11 months ago
2009
Finding an accurate sparse approximation of a spectral vector described by a linear model, when there is available a library of possible constituent signals (called endmembers or ...
117
click to vote
AISS
2010
14 years 11 months ago
2010
Web services technologies change the software industry drastically by developing and integrating enterprise web services and applications in order to enable the users to access th...
100
click to vote
BIB
2010
14 years 11 months ago
2010
Massively parallel sequencing technologies continue to alter the study of human genetics. As the cost of sequencing declines, next-generation sequencing (NGS) instruments and data...
103
click to vote
CEC
2010
IEEE
14 years 10 months ago
2010
IEEE
TestFul is a novel evolutionary testing approach for object-oriented programs with complex internal states. In our preliminary experiments, it already outperformed some of the well...
115
click to vote
CAP
2010
14 years 8 months ago
2010
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...