1 - 25 of 957
Number of results to display per page
TitleSetnameType
1 A dynamic framwork for intelligent inspectionir_uspaceText
2 A dynamic recursive structure for intelligent explorationir_uspaceText
3 A dynamic recursive structure for intelligent inspectionir_uspaceText
4 A fast iterative method for a class of Hamilton-Jacobi equations on parallel systemsir_uspaceText
5 A fast parallel squarer based on divide-and-conquerir_uspaceText
6 A fault tolerant sensor schemeir_uspaceText
7 A framework for module-based language processorsir_uspaceText
8 A gallium arsenide mutual exclusion elementir_uspaceText
9 A Gaussian probability accelerator for SPHINX 3ir_uspaceText
10 A general compositional approach to verifying hierarchical cache coherence protocolsir_uspaceText
11 A generic operational memory model specification framework for multithreaded program verificationir_uspaceText
12 A GPU-based, three-dimensional level set solver with curvature flowir_uspaceText
13 A graphical environment and applications for discrete event and hybrid systems in robotics and automationir_uspaceText
14 A hidden line algorithm for halftone picture representationir_uspaceText
15 A hole-filling algorithm for triangular meshesir_uspaceText
16 A lisp-based occam interpreterir_uspaceText
17 A method of solution for hydrodynamics and radiation diffusion as a multi-material problem in one dimensionir_uspaceText
18 A morphing algorithm for generating near optimal grids: applications in computational medicineir_uspaceText
19 A new approach to specifying and handling exceptionsir_uspaceText
20 A new approach to tolerance analysisir_uspaceText
21 A new family of variational-form-based regularizers for reconstructing epicardial potentials from body-surface mappingir_uspaceText
22 A new local basis for designing with tensioned splinesir_uspaceText
23 A note on optimal algorithms for fixed pointsir_uspaceText
24 A note on the Oslo algorithmir_uspaceText
25 A painterly approach to human skinir_uspaceText
1 - 25 of 957