7215 search results - page 1107 / 1443 » Semantic search on the Web |
178
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
In this paper we investigate how people use online rating information to inform decision making. We examine whether a theory of searching for information to discriminate between a...
191
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
202
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
185
click to vote
MICS
2010
15 years 5 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
199
click to vote
WWW
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we undertake a large-scale study of online user behavior based on search and toolbar logs. We propose a new CCS taxonomy of pageviews consisting of Content (news, p...