7690 search results - page 52 / 1538 » On the semantics of informational independence |
100
click to vote
CCS
2004
ACM
15 years 7 months ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
106
click to vote
AIPS
2009
15 years 3 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
126
click to vote
ICMLA
2008
15 years 3 months ago
2008
In this paper we present a study on music mood classification using audio and lyrics information. The mood of a song is expressed by means of musical features but a relevant part ...
124
click to vote
ACL
2010
14 years 12 months ago
2010
Bag-of-words approaches to information retrieval (IR) are effective but assume independence between words. The Hyperspace Analogue to Language (HAL) is a cognitively motivated and...
101
click to vote
SIGIR
2005
ACM
15 years 7 months ago
2005
ACM
A query independent feature, relating perhaps to document content, linkage or usage, can be transformed into a static, per-document relevance weight for use in ranking. The challe...