6618 search results - page 936 / 1324 » Natural Logic for Natural Language |
232
click to vote
SOCIALCOM
2010
15 years 5 months ago
2010
A representation of the World Wide Web as a directed graph, with vertices representing web pages and edges representing hypertext links, underpins the algorithms used by web search...
230
click to vote
SBP
2011
Springer
15 years 2 months ago
2011
Springer
The World Wide Web is a potentially valuable source of information about the cognitive characteristics of cultural groups. However, attempts to use the Web in the context of cultur...
220
click to vote
CHI
2006
ACM
16 years 8 months ago
2006
ACM
Modern applications such as Microsoft Word have many automatic features and hidden dependencies that are frequently helpful but can be mysterious to both novice and expert users. ...
197
click to vote
FM
2009
Springer
16 years 2 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
203
click to vote
CP
2004
Springer
16 years 1 months ago
2004
Springer
Many backtracking algorithms exhibit heavy-tailed distributions, in which their running time is often much longer than their median. We analyze the behavior of two natural variant...