3 search results - page 1 / 1 » Propositions as sessions |
117
Voted
ICFP
2012
ACM
13 years 1 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
68
Voted
CONCUR
2010
Springer
15 years 21 hour ago
2010
Springer
88
Voted
JIS
2007
14 years 10 months ago
2007
Argues that metrics can be generated from search transactional Web logs that can help evaluate search engine effectiveness. Search logs from the BBC Website were analysed and metr...