50808 search results - page 53 / 10162 » A New |
AAAI
1996
13 years 10 months ago
1996
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...
ERCIMDL
2010
Springer
13 years 9 months ago
2010
Springer
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...
ENTCS
2008
13 years 8 months ago
2008
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...
AUTOMATICA
2006
13 years 8 months ago
2006
: 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...
JCB
2008
13 years 8 months ago
2008
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...