151 - 175 of 1,072
Number of results to display per page
TitleDateTypeSetname
151 Interactive Spline Modelling1983-04-27Textir_computersa
152 Applicative updating and provisional computation in functional programming1983-06Textir_computersa
153 Asylim: A simulation and placement checking system for path-programmable logic integrated circuits1983-06Textir_computersa
154 A framework for multi-sensor integration and data acquisition1983-08Textir_computersa
155 GCS: A graphical front end to ASSASSIN1983-08Textir_computersa
156 Constraint driven synthesis of hardware design1983-08Textir_computersa
157 FEL + set abstraction = database query language1983-09Textir_computersa
158 Data structures and system support for a graphical programming language editing and program development environment1983-12Textir_computersa
159 Implementing multi-sensor systems in a functional language1984Textir_uspace
160 Simulation of Cells1984Textir_uspace
161 An experimental system for computer aided geometric design1984Textir_uspace
162 Semantics of networks containing indeterminate operators1984Textir_uspace
163 MKS: a multisensor kernel system1984Textir_uspace
164 Shape matching of two-dimensional objects1984Textir_uspace
165 Representation and shape matching of 3-D objects1984Textir_uspace
166 Computer aided design1984Textir_uspace
167 Logical sensor systems1984Textir_uspace
168 Abstract interpretation and indeterminacy1984Textir_uspace
169 Segmentation of complex outdoor scenes1985Textir_uspace
170 Rediflow architecture prospectus1985Textir_uspace
171 CAGD based 3-D visual recognition1985Textir_uspace
172 Arc and path consistency revisited1985Textir_uspace
173 Geometric Hashing for Processing Complex Scenes1985Textir_computersa
174 First-Order Unification in Equational Theories and its Application to Logic Programming1985Textir_computersa
175 Range data processing: representation of surfaces by edges1985Textir_uspace
151 - 175 of 1,072