Publications
-
RetroTime: retrospectively visualizing and labeling time intervals
This paper describes the user experience using RetroTime, and describes how it could be extended to support more complex labeling tasks, particularly in multi-person environments.
-
Enhanced personalized information delivery
This paper describes the concept of enhanced personalized information delivery.
-
Workshop on hybrid pervasive/digital inference
Web 2.0 technologies have encouraged users to curate more information online.
-
Synthesis of Loop-Free Programs
We present experimental results that show that our tool Brahma can efficiently synthesize highly nontrivial 10-20 line loop-free bit vector programs.
-
Annual Survey of Water Vapor Behavior from the OMEGA Mapping Spectrometer Onboard Mars Express
We present here the annual behavior of atmospheric water vapor on Mars, as observed by the OMEGA spectrometer on board Mars Express during its first martian year.
-
Evaluation of the Pka Values and Ionization Sequence of Bumetanide Using 1H and 13C NMR and UV Spectroscopy
The present study summarizes available literature data and then characterizes nuclear magnetic resonance (NMR) and ultraviolet (UV) spectral changes over a range of pH values to delineate the apparent sequence…
-
Fiftieth Anniversary of the First Incoherent Scatter Radar Experiment
At a Cornell University (Ithaca, N.Y.) departmental seminar in the spring of 1958, William Gordon showed that a powerful radar system could detect the uncorrelated and extremely weak scattered signals…
-
Multiple Gap-Filling of Flux-Balance Models
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC
-
Simcheck: a Contract Type System for Simulink
We provide a contract-based type system of Simulink with annotations and dimensions/units associated with ports and links.
-
Towards Spoken Clinical-Question Answering: Evaluating and Adapting Automatic Speech-Recognition Systems for Spoken Clinical Questions
We evaluate existing automatic speech-recognition (ASR) systems to measure their performance in interpreting spoken clinical questions and to adapt one ASR system to improve its performance on this task.
-
Policy-Based Integration of Provenance Metadata
We use an architecture where aggregation, fusion, and composition policies define how provenance records can be automatically merged to facilitate the analysis and reproducibility of experiments.
-
Synthesizing Geometry Constructions
In this paper, we study the problem of automatically solving ruler/compass based geometry construction problems.