2989 search results - page 228 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
122
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Automatically assigning relevant text keywords to images is an important problem. Many algorithms have been proposed in the past decade and achieved good performance. Efforts have...
112
click to vote
AUSAI
2006
Springer
15 years 6 months ago
2006
Springer
The unsupervised nature of cluster analysis means that objects can be clustered in many different ways. This means that different clustering algorithms can lead to vastly different...
128
Voted
ALT
2007
Springer
15 years 11 months ago
2007
Springer
We consider the problem of learning and verifying hidden graphs and their properties given query access to the graphs. We analyze various queries (edge detection, edge counting, sh...
135
click to vote
VLSID
2005
IEEE
15 years 8 months ago
2005
IEEE
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
165
Voted
CIKM
2009
Springer
15 years 3 months ago
2009
Springer
Desktop search is an important part of personal information management (PIM). However, research in this area has been limited by the lack of shareable test collections, making cum...