1003 search results - page 114 / 201 » Type Inference with Inequalities |
125
Voted
SIAMCO
2002
15 years 3 months ago
2002
There is a large literature on the rate of convergence problem for general unconstrained stochastic approximations. Typically, one centers the iterate n about the limit point then...
128
click to vote
ESWS
2005
Springer
15 years 9 months 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...
137
click to vote
TYPES
2004
Springer
15 years 9 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...
126
click to vote
AIMSA
2006
Springer
15 years 7 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...
125
click to vote
ACL
2007
15 years 5 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...