4036 search results - page 777 / 808 » Formal Methods |
102
click to vote
SIGSOFT
2006
ACM
16 years 16 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
115
click to vote
WWW
2009
ACM
16 years 15 days ago
2009
ACM
Transferring knowledge from one domain to another is challenging due to a number of reasons. Since both conditional and marginal distribution of the training data and test data ar...
102
click to vote
WWW
2008
ACM
16 years 15 days ago
2008
ACM
In this paper, we propose a Collaborative Knowledge Semantic Graphs Image Search (CKSGIS) system. It provides a novel way to conduct image search by utilizing the collaborative na...
WWW
2008
ACM
16 years 15 days ago
2008
ACM
The paper is concerned with the problem of question recommendation. Specifically, given a question as query, we are to retrieve and rank other questions according to their likelih...
114
click to vote
WWW
2005
ACM
16 years 15 days ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...