Author: SRI International
-
Discounted Deterministic Markov Decision Processes and Discounted All-Pairs Shortest Paths
We present algorithms for finding optimal strategies for discounted, infinite-horizon, Determinsitc Markov Decision Processes (DMDPs).
-
Fast likelihood computation using hierarchical Gaussian shortlists
We investigate the use of hierarchical Gaussian shortlists to speed up Gaussian likelihood computation.
-
Indirect Validation of Tropospheric Nitrogen Dioxide Retrieved from the OMI Satellite Instrument: Insight Into the Seasonal Variation of Nitrogen Oxides at Northern Midlatitudes
We examine the seasonal variation in lower tropospheric nitrogen oxides at northern midlatitudes by evaluating tropospheric NO2 columns observed from the Ozone Monitoring Instrument.
-
IPY Observations of Ionospheric Yearly Variations from High- to Middle-Latitude Incoherent Scatter Radars
The main focus of this paper is on the noon-time baseline annual and semiannual variations, with an emphasis on the less-known height dependency, for those geophysically important areas.
-
LC/MS Characterization of Impurities and Degradation Products of a Potent Antitumor Peptidic Dimer, CU201
An HPLC method was developed, as part of a study supported by the National Cancer Institute’s (NCI’s) Rapid Access to Interventional Development (RAID) program, to assess the purity and stability of CU201.
-
Document content analysis for digital archives
A presentation at the first Personal Digital Archiving Conference held at the Internet Archive in San Francisco.
-
From documents to tasks: deriving user tasks from document usage patterns
In order to reduce the necessary amount of training, this paper proposes a new approach for automatically estimating a user’s tasks from document interactions in an unsupervised manner.
-
Information seeking with social signals: anatomy of a social tag-based exploratory search browser
In this paper, we present the algorithm of a tag-based exploratory system based on this idea.
-
Temporal task footprinting: identifying routine tasks by their temporal patterns
This paper introduces a new representation for describing routine tasks, called temporal task footprints.
-
The capacity of wireless ad hoc networks with multi-packet reception
We compute the throughput capacity of random dense wireless ad hoc networks for multi-pair unicast trafc in which nodes are endowed with multi-packet reception (MPR) capabilities.
-
Collective intelligence in organizations: toward a research agenda
The workshop discusses CI tools for collaboration in work-related settings, especially for task forces now increasingly common in industry or government.
-
Special Issue on Automated Deduction: Decidability, Complexity, Tractability
Although general logical formalisms (predicate logic, set theory, number theory) are undecidable or not even recursively enumerable, it is often the case that in applications only special fragments need to be considered, which are decidable and sometimes even have low complexity.