Sciweavers

1860 search results - page 22 / 372
» Automatic Generation of Search Engines
Sort
View
FLOPS
2010
Springer
14 years 5 months ago
Automatically Generating Counterexamples to Naive Free Theorems
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
Daniel Seidel, Janis Voigtländer
MM
2004
ACM
128views Multimedia» more  MM 2004»
14 years 3 months ago
Automatic generation of biased video sequences
We describe our experimental rhetoric engine Vox Populi that generates biased video-sequences from a repository of video interviews and other related audio-visual web sources. Use...
Stefano Bocconi, Frank Nack
WWW
2008
ACM
14 years 11 months ago
Improving relevance judgment of web search results with image excerpts
Current web search engines return result pages containing mostly text summary even though the matched web pages may contain informative pictures. A text excerpt (i.e. snippet) is ...
Zhiwei Li, Shuming Shi, Lei Zhang
CODES
1997
IEEE
14 years 2 months ago
Automatic Generation of a Real-Time Operating System for Embedded Systems
Abstract Felice Balarin Massimiliano Chiodoy Attila Jurecskaz Luciano Lavagno Bassam Tabbarax Alberto Sangiovanni-Vincentelli April 28, 1997
Felice Balarin, Massimiliano Chiodo, Attila Jurecs...
WWW
2007
ACM
14 years 11 months ago
Automatic searching of tables in digital libraries
Tables are ubiquitous. Unfortunately, no search engine supports table search. In this paper, we propose a novel table specific searching engine, TableSeer, to facilitate the table...
Ying Liu, Kun Bai, Prasenjit Mitra, C. Lee Giles