4298 search results - page 277 / 860 » Computing at the top of the world |
215
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
This work presents the concept of Continuous Search (CS), which objective is to allow any user to eventually get their constraint solver achieving a top performance on their proble...
167
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
178
click to vote
SIGIR
2010
ACM
15 years 4 months ago
2010
ACM
We have conducted a user study to evaluate several generalist and health-specific search engines on health information retrieval. Users evaluated the relevance of the top 30 docum...
186
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
214
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
--------------------------------------------------ABSTRACT-----------------------------------------------Campus Grid computing involves heterogeneous resources of an organization w...