Publications
-
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…
-
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.
-
SWIFFT: a Modest Proposal for FFT Hashing
We propose SWIFFT, a collection of compression functions that are highly parallelizable and admit very efficient implementations on modern microprocessors.
-
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…
-
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…
-
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…
-
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…
-
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.