Sciweavers

2756 search results - page 486 / 552
» Searching the Web: From Keywords to Semantic Queries
Sort
View
WWW
2008
ACM
16 years 6 months ago
LocalSavvy: aggregating local points of view about news issues
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 ...
Jiahui Liu, Larry Birnbaum
MICS
2010
81views more  MICS 2010»
15 years 4 months ago
Tactics for Hierarchical Proof
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...
David Aspinall, Ewen Denney, Christoph Lüth
ICASSP
2010
IEEE
15 years 3 months ago
Mining actor correlations with hierarchical concurrence parsing
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...
Kun Yuan, Hongxun Yao, Rongrong Ji, Xiaoshuai Sun
POPL
2007
ACM
16 years 6 months ago
JavaScript instrumentation for browser security
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...
Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serik...
NAR
2007
152views more  NAR 2007»
15 years 5 months ago
COMPASS server for remote homology inference
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...
Ruslan Sadreyev, Ming Tang, Bong-Hyun Kim, Nick V....