2646 search results - page 211 / 530 » Local Type Inference |
278
click to vote
PR
2011
14 years 9 months ago
2011
One of the main shortcomings of Markov chain Monte Carlo samplers is their inability to mix between modes of the target distribution. In this paper we show that advance knowledge ...
168
click to vote
ESWS
2005
Springer
16 years 4 days ago
2005
Springer
Online community sites have replaced the traditional means of keeping a community informed via libraries and publishing. At present, online communities are islands that are not int...
173
click to vote
TYPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspeciļ¬cations, we present a particular instance concerned with the optimized compilation of a lazy language (called...
164
click to vote
AIMSA
2006
Springer
15 years 10 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
154
click to vote
ACL
2007
15 years 8 months ago
2007
We present a user requirements study for Question Answering on meeting records that assesses the difficulty of users questions in terms of what type of knowledge is required in or...