Sciweavers

2111 search results - page 273 / 423
» Exploring evaluation methods for ambient information systems
Sort
View
FORTE
1994
15 years 7 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
MIR
2010
ACM
207views Multimedia» more  MIR 2010»
15 years 4 months ago
Learning to rank for content-based image retrieval
In Content-based Image Retrieval (CBIR), accurately ranking the returned images is of paramount importance, since users consider mostly the topmost results. The typical ranking st...
Fabio F. Faria, Adriano Veloso, Humberto Mossri de...
ICONIP
2010
15 years 4 months ago
A New Framework for Small Sample Size Face Recognition Based on Weighted Multiple Decision Templates
In this paper a holistic method and a local method based on decision template ensemble are investigated. In addition by combining both methods, a new hybrid method for boosting the...
Mohammad Sajjad Ghaemi, Saeed Masoudnia, Reza Ebra...
ICDIM
2008
IEEE
16 years 26 days ago
Unsupervised key-phrases extraction from scientific papers using domain and linguistic knowledge
The domain of Digital Libraries presents specific challenges for unsupervised information extraction to support both the automatic classification of documents and the enhancement ...
Mikalai Krapivin, Maurizio Marchese, Andrei Yadran...
SIGIR
2010
ACM
15 years 10 months ago
Ready to buy or just browsing?: detecting web searcher goals from interaction data
An improved understanding of the relationship between search intent, result quality, and searcher behavior is crucial for improving the effectiveness of web search. While recent p...
Qi Guo, Eugene Agichtein