7943 search results - page 165 / 1589 » A calculus for costed computations |
ACL
1996
15 years 11 days ago
1996
Corpus-based methods for natural language processing often use supervised training, requiring expensive manual annotation of training corpora. This paper investigates methods for ...
78
Voted
IJCV
2007
14 years 11 months ago
2007
Many vision applications require high-accuracy dense disparity maps in real-time and online. Due to time constraint, most real-time stereo applications rely on local winner-takes-a...
100
click to vote
AMAI
2005
Springer
14 years 11 months ago
2005
Springer
We consider auction design in a setting with costly preference elicitation. Well designed auctions can help to avoid unnecessary elicitation while determining efficient allocations...
100
Voted
TCS
2008
14 years 11 months ago
2008
Multicast and broadcast are efficient ways to deliver messages to a group of recipients in a network. Due to the growing security concerns in various applications, messages are oft...
CONCUR
2001
Springer
15 years 3 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...