2278 search results - page 44 / 456 » Specification Techniques for Automatic Performance Analysis ... |
83
Voted
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
109
click to vote
ICMCS
2000
IEEE
15 years 3 months ago
2000
IEEE
One of the difficulties of Content-Based Image Retrieval (CBIR) is the gap between high-level concepts and low-level image features, e.g., color and texture. Relevance feedback wa...
TELSYS
2002
14 years 10 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
ESWA
2006
14 years 11 months ago
2006
Proteomics is a field dedicated to the analysis and identification of proteins within an organism. Within proteomics, two-dimensional electrophoresis (2-DE) is currently unrivalle...
IPM
2007
14 years 11 months ago
2007
Patent documents contain important research results. However, they are lengthy and rich in technical terminology such that it takes a lot of human efforts for analyses. Automatic...