251 - 275 of 676
Number of results to display per page
TitleDateTypeSetname
251 Separating presentation from interface in RPC and IDLs1995Textir_uspace
252 Some experiments with the 3-D hough shape transform1983Textir_uspace
253 Transpline curve representation system1980Textir_uspace
254 Verification of MPI programs using Spin2004Textir_uspace
255 Verifying a virtual component interface-based PCI bus wrapper with FormalCheck2001-06-14Textir_uspace
256 Visible surface algorithms for quadric patches1970Textir_uspace
257 Graphical man/machine communications: December 19721972-12Textir_uspace
258 A dynamic framework for intelligent inspection1992Textir_uspace
259 A dynamic framwork for intelligent inspection1992Textir_uspace
260 A survey on sensor classifications for industrial applications1995Textir_uspace
261 A transformational approach to asynchronous high-level synthesis1993Textir_uspace
262 A unifying framework for tolerance analysis in sensing, design, and manufacturing1994Textir_uspace
263 Abstract interpretation and indeterminacy1984Textir_uspace
264 An interior ellipsoid algorithm for fixed points1998Textir_uspace
265 Application of the saber method for improved spectral analysis of noisy speech1977Textir_uspace
266 Automatic rapid prototyping of semi-custom VLSI circuits using FPGAs1994Textir_uspace
267 Compiling distributed C++1994Textir_uspace
268 CONSIM: a converstional simulation language implemented through interpretive control self-modeling1977Textir_uspace
269 Constraint objects - integrating constraint definition and interaction1992Textir_uspace
270 Cramer-Rao bounds for nonparametric surface reconstruction from range data2003-04-18Textir_uspace
271 Description of functionality of the impulse memory controller2001Textir_uspace
272 Direct deposit: a basic user-level protocol for carpet clusters?1995Textir_uspace
273 Explicit and persistent knowledge in engineering drawing analysis2003-10-10Textir_uspace
274 Implementing multi-sensor systems in a functional language1984Textir_uspace
275 The key node method: a highly-parallel alpha-beta algorithm1983Textir_uspace
251 - 275 of 676