Sciweavers

1860 search results - page 107 / 372
» Automatic Generation of Search Engines
Sort
View
WWW
2004
ACM
16 years 4 months ago
Ontalk: ontology-based personal document management system
In this paper, we present our development of a document management and retrieval tool, which is named Ontalk. Our system provides a semi-automatic metadata generator and an ontolo...
Hak Lae Kim, Hong-Gee Kim, Kyung-Mo Park
ICMCS
2008
IEEE
119views Multimedia» more  ICMCS 2008»
15 years 10 months ago
Query oriented subspace shifting for near-duplicate image detection
Near-duplicate image detection is a critical task in copyright protection. More challenging than the common similarity search, this task requires not only the retrieval of the top...
Lei Wu, Jing Liu, Nenghai Yu, Mingjing Li
ACL
2003
15 years 5 months ago
Feedback Cleaning of Machine Translation Rules Using Automatic Evaluation
When rules of transfer-based machine translation (MT) are automatically acquired from bilingual corpora, incorrect/redundant rules are generated due to acquisition errors or trans...
Kenji Imamura, Eiichiro Sumita, Yuji Matsumoto
FASE
2009
Springer
15 years 10 months ago
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
Laura Kovács, Andrei Voronkov
ASPLOS
2011
ACM
14 years 7 months ago
Sponge: portable stream programming on graphics engines
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...
Amir Hormati, Mehrzad Samadi, Mark Woh, Trevor N. ...