Search Sciweavers | Sciweavers

18716 search results - page 24 / 3744

» Automatic

click to vote

CHI
2009
ACM

111views Human Computer Interaction» more CHI 2009»

Automatic retargeting of web page content

14 years 11 months ago

Download juhokim.com

Ranjitha Kumar, Juho Kim, Scott R. Klemmer

claim paper

Read More »

click to vote

CADE
2006
Springer

163views Logical Reasoning» more CADE 2006»

Automatic Termination Proofs in the Dependency Pair Framework

14 years 11 months ago

Download verify.rwth-aachen.de

Jürgen Giesl, Peter Schneider-Kamp, Ren&eacut...

claim paper

Read More »

click to vote

CADE
2002
Springer

142views Logical Reasoning» more CADE 2002»

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description

14 years 11 months ago

Download eprints.ecs.soton.ac.uk

Bernd Fischer 0002, Johann Schumann, Michael W. Wh...

claim paper

Read More »

click to vote

VLDB
2005
ACM

114views Database» more VLDB 2005»

A framework for modeling and evaluating automatic semantic reconciliation

14 years 11 months ago

Download www.dit.unitn.it

Avigdor Gal, Ateret Anaby-Tavor, Alberto Trombetta...

claim paper

Read More »

click to vote

WSDM
2010
ACM

177views Data Mining» more WSDM 2010»

Automatic generation of bid phrases for online advertising

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers