4166 search results - page 612 / 834 » Automating the constraining process |
126
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
The increasing availability of web services necessitates efficient discovery and execution framework. The use of xml at various levels of web services standards poses challenges t...
124
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
116
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Like in other fields, computer products (applications, hardware, etc.), before being marketed, require some level of testing to verify whether they meet their design and function...
145
Voted
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Computing reliable gene expression levels from microarray experiments is a sophisticated process with many potential pitfalls. Quality control is one of the most important steps i...
120
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Relevance feedback is the state-of-the-art approach for adjusting query results to the needs of the users. This work extends the existing framework of image retrieval with relevan...