SRI International
-
Introduction to the 2nd Edition of the Workshop “Advances in Semantics for Web Services 2007” (Semantics4Ws 2007)
These proceedings contain the papers accepted for the 2nd edition of the workshop ”Advances in Semantics for Web services 2007” (semantics4ws 2007).
-
Large-Scale Many-Class Learning
We present novel online index learning algorithms. When compared to other approaches, including one-versus-rest and top-down learning and classification using support vector machines, we find that indexing is highly advantageous in terms of space and time efficiency, at both training and classification times, while yielding similar and often better accuracies.
-
Lifting Abstract Interpreters to Quantified Logical Domains
We describe a general technique for building abstract interpreters over powerful universally quantified abstract domains that leverage existing quantifier-free domains.
-
10-GHz Divide-By-100 Prescaler Connects to 100-MHz Counter
Introduction The prescaler described here connects to the front end of a 100-MHz frequency counter to extend its coverage range to 10 GHz. The circuit is a far less expensive way to measure frequencies above 100 MHz than buying a 1- or 10-GHz frequency counter. The divider was built inexpensively. Creating this low-cost prescaler required…
-
Trapdoors for Hard Lattices and New Cryptographic Constructions
Our contributions include a new notion of trapdoor function with preimage sampling, simple and efficient “hash-and-sign” digital signature schemes, and identity-based encryption.
-
Back-Illuminated Image Sensors Come to the Forefront
Recently, a breakthrough in novel materials and fabrication methods was achieved that will make higher-performance back-thinned imagers readily available for mass production. Using ultrathin silicon-on-insulator wafer technology, the method will reduce the manufacturing complexity and effectively solve the cost-quality challenge.
-
Color Enhancement in Image Fusion
We propose an innovative approach to enhance the color in image fusion. We propose a gamma correction function to the normalized color components.
-
Comparative Study of SnO2- and In2O3- Based Ozone Sensors
In this paper we present the results of comparative study of ozone sensors that are designed using undoped SnO2 and In2O3 films.
-
A Demonstration of the Radar Personal Assistant
Email clients were not designed to serve as a task management tools, but a high volume of task-relevant information in email leads many people to use email clients for this purpose.
-
A Framework for Efficient and Composable Oblivious Transfer
We propose a simple and general framework for constructing oblivious transfer (OT) protocols that are efficient, universally composable, and generally realizable under any one of a variety of standard number-theoretic assumptions.
-
Constraint-Based Approach for Analysis of Hybrid Systems
This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) for verification of hybrid systems.
-
Cross Sections and Reaction Rates for Comparative Planetary Aeronomy
In this chapter we describe the current knowledge of a selection of collision processes and chemical reactions of importance to planetary aeronomy.