3 search results - page 1 / 1 » Propositions as sessions |
ICFP
2012
ACM
11 years 7 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...
CONCUR
2010
Springer
13 years 5 months ago
2010
Springer
JIS
2007
13 years 4 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...