Concept
Autocomplete
Related publications (10)
Contextualized ranking of entity types based on knowledge graphs
Karl Aberer, Philippe Cudré-Mauroux, Michele Catasta, Roman Prokofyev
A large fraction of online queries targets entities. For this reason, Search Engine Result Pages (SERPs) increasingly contain information about the searched entities such as pictures, short summaries, related entities, and factual information. A key facet ...
Elsevier Science Bv2016Storage method and apparatus for random access memory using codeword storage
A memory circuit, such as an embedded DRAM array, stores information as groups of bits or data using information coding in storage and retrieval data, instead of each bit being stored separately. Write data words can be mapped to storage format words that ...
2016Search Techniques for Code Generation
This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...
EPFL2015Comprehensive and Scalable Highly Automated MS-Based Proteomic Workflow for Clinical Biomarker Discovery in Human Plasma
Over the past decade, mass spectrometric performance has greatly improved in terms of sensitivity, dynamic range, and speed. By contrast, only limited progress has been accomplished with regard to automation, throughput, and robustness of the proteomic sam ...
Amer Chemical Soc2014Are Google’s linguistic prosthesis biased towards commercially more interesting expressions? A preliminary study on the linguistic effects of autocompletion algorithms.
Google's linguistic prosthesis have become common mediators between our intended queries and their actual expressions. By correcting a mistyped word or extending a small string of letters into a statistically plausible continuation, Google offers a valuabl ...
Center for Digital Research in the Humanities2013On Repairing Ill-Typed Expressions
Tihomir Gvero, Ivan Kuraj, Ruzica Piskac
When developing code, a programmer typically knows the approximate structure of the desired expression. However, often the first attempt at writing it down results in an ill-typed code fragment. We propose an approach that automatically repairs code expres ...
2013Complete Completion using Types and Weights
Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac
Developing modern software typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that synthesizes ...
ACM2013On Fast Code Completion using Type Inhabitation
Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac
Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...
2012On Complete Completion using Types and Weights
Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac
Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...
2012Code Completion using Quantitative Type Inhabitation
Viktor Kuncak, Tihomir Gvero, Ruzica Piskac
Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...
2011