42738 search results - page 198 / 8548 » Search Computing Systems |
121
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
129
Voted
MC
2001
15 years 4 months ago
2001
In this paper we present the conception and the evaluation of a visual information seeking system for the Web. Our work has been motivated by the lack of good user interfaces assi...
207
Voted
DGO
2011
14 years 3 months ago
2011
The past few years have seen an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous and di...
246
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Extracting information and insights from large databases is a time-consuming activity and has received considerable research attention recently. In this demo, we present DynaCet - ...
123
Voted
CIVR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper outlines the technical details of a prototype system for searching and browsing over a million images from the World Wide Web using their visual contents. The ...