251 - 275 of 723
Number of results to display per page
TitleDateTypeSetname
251Concurrent engineering and robot prototyping1993Textir_uspace
252Flat surface reconstruction using sonar1996Textir_uspace
253GEM: graphical explorer for MPI programs2009Textir_uspace
254How to search for millions of queens1988Textir_uspace
255Hybrid symbolic and numeric operators as tools for analysis of freeform surfaces1992Textir_uspace
256Hybrid symbolic and numeric operators as tools for analysis of freeform surfaces1992Textir_uspace
257Multisensor knowledge systems1986Textir_uspace
258Nonparametric statistics of image neighborhoods for unsupervised texture segmentation2005-04-19Textir_uspace
259Penumbra maps2003-04-23Textir_uspace
260PPL 1.2mu gallium arsenide cell set1993Textir_uspace
261psolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checker1999Textir_uspace
262Reaction-diffusion patterns in smart sensor networks2003-11-05Textir_uspace
263Refactoring SPIN for safety2006-02-14Textir_uspace
264Separating presentation from interface in RPC and IDLs1995Textir_uspace
265Some experiments with the 3-D hough shape transform1983Textir_uspace
266Transpline curve representation system1980Textir_uspace
267Verification of MPI programs using Spin2004Textir_uspace
268Verifying a virtual component interface-based PCI bus wrapper with FormalCheck2001-06-14Textir_uspace
269Visible surface algorithms for quadric patches1970Textir_uspace
270Graphical man/machine communications: December 19721972-12Textir_uspace
271A dynamic framework for intelligent inspection1992Textir_uspace
272A dynamic framwork for intelligent inspection1992Textir_uspace
273A survey on sensor classifications for industrial applications1995Textir_uspace
274A transformational approach to asynchronous high-level synthesis1993Textir_uspace
275A unifying framework for tolerance analysis in sensing, design, and manufacturing1994Textir_uspace
251 - 275 of 723