Sciweavers

2393 search results - page 94 / 479
» Bounds-Consistent Local Search
Sort
View
VLDB
2002
ACM
154views Database» more  VLDB 2002»
15 years 9 days ago
I/O-Conscious Data Preparation for Large-Scale Web Search Engines
Given that commercial search engines cover billions of web pages, efficiently managing the corresponding volumes of disk-resident data needed to answer user queries quickly is a f...
Maxim Lifantsev, Tzi-cker Chiueh
CORR
2010
Springer
194views Education» more  CORR 2010»
14 years 10 months ago
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
Stéphane Lengrand, Roy Dyckhoff, James McKi...
122
Voted
PVLDB
2010
161views more  PVLDB 2010»
14 years 11 months ago
Annotating and Searching Web Tables Using Entities, Types and Relationships
Tables are a universal idiom to present relational data. Billions of tables on Web pages express entity references, attributes and relationships. This representation of relational...
Girija Limaye, Sunita Sarawagi, Soumen Chakrabarti
101
Voted
ICMCS
2009
IEEE
173views Multimedia» more  ICMCS 2009»
14 years 10 months ago
Linking video ADS with product or service information by web search
With the proliferation of online media services, video ads are pervasive across various platforms involving internet services and interactive TV services. Existing research effort...
Jinqiao Wang, Ling-Yu Duan, Bo Wang, Shi Chen, Yi ...
92
Voted
EKAW
2010
Springer
14 years 11 months ago
Mobile Cultural Heritage Guide: Location-Aware Semantic Search
In this paper we explore the use of location aware mobile devices for searching and browsing a large number of general and cultural heritage information repositories. Based on GPS ...
Chris J. van Aart, Bob J. Wielinga, Willem Robert ...