3362 search results - page 175 / 673 » A definition of subjective possibility |
178
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Harmonization with four voices is a musical problem which is subject to hard constraints, which absolutely need to be fulfilled, as well as to soft constraints, which preferably ho...
276
click to vote
CODASPY
2011
14 years 10 months ago
2011
This talk gives a personal perspective on the topic area of this new conference on data and application security and privacy, the difficult nature of the challenge we are confron...
161
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We evaluate three different relevance feedback (RF) algorithms, Rocchio, Robertson/Sparck-Jones (RSJ) and Bayesian, in the context of Web search. We use a target-testing experimen...
189
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
Wireless LAN (WLAN) radios conserve energy by staying in sleep mode. With real-time applications like VoIP, it is not clear how much energy can be saved by this approach since pac...
191
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...