8828 search results - page 1560 / 1766 » Formal methods in practice |
148
click to vote
JCO
2010
15 years 3 months ago
2010
Rocchio’s similarity-based relevance feedback algorithm, one of the most important query reformation methods in information retrieval, is essentially an adaptive supervised lear...
133
click to vote
MACOM
2010
15 years 3 months ago
2010
Abstract. This paper focuses in the analysis of 100% static and distributed inter-cell interference coordination techniques in the context of LTE networks. Several methods have bee...
125
click to vote
MIG
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Navigation meshes are commonly employed as a practical representation for path planning and other navigation queries in animated virtual environments and computer games. ...
136
click to vote
MTA
2010
15 years 3 months ago
2010
It is common practice in audiovisual archives to disclose documents using metadata from a structured vocabulary or thesaurus. Many of these thesauri have limited or no structure. T...
169
Voted
PAMI
2010
15 years 3 months ago
2010
—This paper presents a robust and automatic approach to photometric stereo, where the two main components, namely surface normals and visible surfaces, are respectively optimized...