Sciweavers

1887 search results - page 308 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
110
Voted
EMNLP
2009
15 years 9 days ago
Learning Term-weighting Functions for Similarity Measures
Measuring the similarity between two texts is a fundamental problem in many NLP and IR applications. Among the existing approaches, the cosine measure of the term vectors represen...
Wen-tau Yih
129
Voted
ICML
2007
IEEE
16 years 3 months ago
Tracking value function dynamics to improve reinforcement learning with piecewise linear function approximation
Reinforcement learning algorithms can become unstable when combined with linear function approximation. Algorithms that minimize the mean-square Bellman error are guaranteed to co...
Chee Wee Phua, Robert Fitch
WWW
2008
ACM
16 years 3 months ago
Mashups for semantic user profiles
In this paper, we discuss challenges and provide solutions for capturing and maintaining accurate models of user profiles using semantic web technologies, by aggregating and shari...
Riddhiman Ghosh, Mohamed Dekhil
108
Voted
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
15 years 9 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...
97
Voted
LICS
1997
IEEE
15 years 6 months ago
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
Martín Hötzel Escardó, Thomas S...