We describe a program called SketchIT that transforms a single sketch of a mechanical device into multiple families of new designs. It represents each of these families with a &qu...
Thomas F. Stahovich, Randall Davis, Howard E. Shro...
Abstract. Collection selection is traditionally a sub-problem of metasearch, and identifies collections most likely to contain relevant documents. However, we propose to treat coll...
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
: In this paper, a new concept of invariance for saturated linear systems is presented. This new notion of invariance, denoted SNS-invariance, has a number of geometrical propertie...
The study of gene functions requires a DNA library of high quality, such a library is obtained from a large mount of testing and screening. Pooling design is a very helpful tool f...