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