Pointing is a fundamental enabling operation for human-computer interaction across a broad spectrum of scenarios. The paper presents a study exploring how to develop a pointing sy...
Gene duplication has long been recognized as a major force in genome evolution and has recently been recognized as an important source of individual variation. For many years the o...
Jin Jun, Paul Ryvkin, Edward Hemphill, Ion I. Mand...
Database searches are usually performed with query languages and form fill in templates, with results displayed in tabular lists. However, excitement is building around dynamic qu...
In the demonstration, we will present the concepts and an implementation of an inductive database ? as proposed by Imielinski and Mannila ? in the relational model. The goal is to...
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...