3775 search results - page 692 / 755 » The Expression Problem Revisited |
85
Voted
SIGSOFT
2004
ACM
16 years 1 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
107
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
We consider the problem of identifying the consensus ranking for the results of a query, given preferences among those results from a set of individual users. Once consensus ranki...
126
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Social Networking is one of the major technological phenomena of the Web 2.0, with hundreds of millions of people participating. Social networks enable a form of self expression f...
116
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Determining the user intent of Web searches is a difficult problem due to the sparse data available concerning the searcher. In this paper, we examine a method to determine the us...
144
click to vote
CICLING
2009
Springer
16 years 1 months ago
2009
Springer
Recent work on the transfer of semantic information across languages has been recently applied to the development of resources annotated with Frame information for different non-En...