437 search results - page 21 / 88 » Models and the locus of their truth |
SLOGICA
2008
13 years 7 months ago
2008
We study the proof-theoretic relationship between two deductive systems for the modal mu-calculus. First we recall an infinitary system which contains an omega rule allowing to de...
SIGECOM
2010
ACM
14 years 10 days ago
2010
ACM
We study the problem of selling identical goods to n unit-demand bidders in a setting in which the total supply of goods is unknown to the mechanism. Items arrive dynamically, and...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
We present All Together Now (ATN), a tool for visualizing localized activities involving both local and remote actors. ATN presents each user with a webpage containing a common vi...
RECOMB
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. While the discovery of structural variants in the human population is ongoing, most methods for this task assume that the genome is sequenced to high coverage (e.g. 40x),...
COLING
2000
13 years 9 months ago
2000
In this paper, word sense dismnbiguation (WSD) accuracy achievable by a probabilistic classifier, using very milfimal training sets, is investigated. \Ve made the assuml)tiou that...