scispace - formally typeset
J

John H. Williams

Researcher at IBM

Publications -  18
Citations -  919

John H. Williams is an academic researcher from IBM. The author has contributed to research in topics: Functional programming & Program optimization. The author has an hindex of 10, co-authored 18 publications receiving 911 citations.

Papers
More filters
Proceedings ArticleDOI

Towards heterogeneous multimedia information systems: the Garlic approach

TL;DR: The Garlic architecture is designed to be extensible to new kinds of data repositories, and access efficiency is addressed via a "middleware" query processor that uses database query optimization techniques to exploit the native associative search capabilities of the underlying data repositories.
Patent

Electronic package for high density applications

TL;DR: In this article, a flexible circuitized substrate is used to align a first circuitized circuit with a flexible substrate in a removable manner relative to the first substrate, which is accomplished utilizing a retention member and associated frame member, the flexible substrate being precisely aligned and secured to the frame member.
Book ChapterDOI

Querying multimedia data from multiple repositories by content: the Garlic project

TL;DR: How QBIC, an image retrieval system that provides content-based image queries, can be integrated into Garlic results in a system in which a single query can combine visual and nonvisual data using type-specific search techniques, enabling a new breed of multimedia applications.
Journal ArticleDOI

A fair carpool scheduling algorithm

TL;DR: A simple carpool scheduling algorithm in which no penalty is assessed to a carpool member who does not ride on any given day is presented and is shown to be fair, in a certain reasonable sense.
Journal ArticleDOI

On the Development of the Algebra of Functional Programs

TL;DR: The class of "overruntolerant" forms, nonlinear forms that include some of the familiar divide-and-conquer program schemes, are defined; an expansion theorem for such forms is proved; and that theorem is used to show how to derive expansions for some programs deemed by non linear forms.