2756 search results - page 486 / 552 » Searching the Web: From Keywords to Semantic Queries |
200
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
The web has become an important medium for news delivery and consumption. Fresh content about a variety of topics, events, and places is constantly being created and published on ...
166
click to vote
MICS
2010
15 years 4 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...
148
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
Mining actor correlations from TV series enables semanticlevel video understanding and facilitates users to conduct correlation-based query. In this paper, we introduce a graphbas...
261
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
168
click to vote
NAR
2007
15 years 5 months ago
2007
COMPASS is a method for homology detection and local alignment construction based on the comparison of multiple sequence alignments (MSAs). The method derives numerical profiles f...