Publications
-
Dynamic state-space partitioning in external-memory graph search
We introduce a method for dynamic partitioning and show that it leads to improved search performance in solving STRIPS planning problems.
-
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.
-
Contextualized Learning and Assessment
Presentation made at The Learning Summit, The League for Innovation in the Community College, Phoenix, Arizona.
-
Detection of agreement and disagreement in broadcast conversations
We present Conditional Random Fields based approaches for detecting agreement/disagreement between speakers in English broadcast conversation shows.
-
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.