2602 search results - page 225 / 521 » Semantic Analysis of 'to' |
159
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
187
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
156
click to vote
SIGDOC
2009
ACM
16 years 1 months ago
2009
ACM
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...
162
click to vote
ICMCS
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper describes a novel approach to the presentation of results from web-search by utilizing the semantic correlations amongst the retrieved results as well as their spatio-t...
167
click to vote
ACL
2007
15 years 8 months ago
2007
This paper presents an application of PageRank, a random-walk model originally devised for ranking Web search results, to ranking WordNet synsets in terms of how strongly they pos...