210 search results - page 18 / 42 » types 1994 |
ISMB
1994
13 years 10 months ago
1994
A new category of protein motif is introduced. This type of motif captures, in addition to global structure, the nested structure of its componentparts. Adata.set of four proteins...
MVA
1994
13 years 10 months ago
1994
This paper deals with "on the fly" segmentation on sliding images. We describe a quality control industrial application for which that type of image analysis is an elega...
LICS
1994
IEEE
14 years 1 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
CCL
1994
Springer
14 years 1 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
CHI
1994
ACM
14 years 1 months ago
1994
ACM
We propose a simple and powerful predictive interface technique for text editing tasks. With our technique called the dynamic macro creation, when a user types a special "rep...