Publications

Export 636 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is N  [Clear All Filters]
1995
Gupta SK, Regli WC, Nau DS.  1995.  Manufacturing feature instances: which ones to recognize? :141-152.
Hilke J, Reggia JA, Navarro-Gonzalez R, Lohn J.  1995.  A modified cellular automata model of nucleotide interactions and non-enzymatic transcription of DNA. inbs. :136-136.
Miller BP, Callaghan MD, Cargille JM, Hollingsworth J, Irvin RB, Karavanic KL, Kunchithapadam K, Newhall T.  1995.  The Paradyn parallel performance measurement tool. Computer. 28(11):37-46.
Naor M, Schulman LJ, Srinivasan A.  1995.  Splitters and near-optimal derandomization. , 36th Annual Symposium on Foundations of Computer Science, 1995. Proceedings. :182-191.
Gupta SK, Nau DS.  1995.  Systematic approach to analysing the manufacturability of machined parts. Computer-Aided Design. 27(5):323-342.
Nirkhe M, Kraus S, Perlis D.  1995.  Thinking takes time: a modal active-logic for reasoning in time. Proc. of BISFAI-95.
Shneiderman B, Alavi M, Norman K, Borkowski E Y.  1995.  Windows of opportunity in electronic classrooms. Communications of the ACM. 38(11):19-24.
1996
Arya S, Mount D, Narayan O.  1996.  Accounting for boundary effects in nearest-neighbor searching. Discrete & Computational Geometry. 16(2):155-176.
Natarajan V, Cleaveland R.  1996.  An algebraic theory of process efficiency. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :63-72.
O'Leary DP.  1996.  Conjugate Gradients and Related KMP Algorithms: The Beginnings. Linear and Nonlinear Conjugate Gradient-Related MethodsLinear and Nonlinear Conjugate Gradient-Related Methods. :1-8.
Das D, Gupta SK, Nau DS.  1996.  Generating redesign suggestions to reduce setup cost: a step towards automated redesign. Computer-Aided Design. 28(10):763-782.
Otto SP, Cummings MP, Wakeley J.  1996.  Inferring phylogenies from DNA sequence data: The effects of sampling. New Uses for New PhylogeniesNew Uses for New Phylogenies. :103-115.
Cleaveland R, Natarajan V, Sims S, Luettgen G.  1996.  Modeling and verifying distributed systems using priorities: A case study. Software - Concepts and Tools. 17(2):50-62.
Natarajan V, Cleaveland R.  1996.  Predictability of real-time systems: a process-algebraic approach. Real-Time Systems Symposium, IEEE International. :82-82.
Cleaveland R, L\üttgen G, Natarajan V, Sims S.  1996.  Priorities for modeling and verifying distributed systems. Tools and Algorithms for the Construction and Analysis of Systems. :278-297.
Cleaveland R, L\üttgen G, Natarajan V.  1996.  A process algebra with distributed priorities. CONCUR'96: Concurrency Theory. :34-49.
North C, Shneiderman B, Plaisant C.  1996.  User controlled overviews of an image library: a case study of the visible human. Proceedings of the first ACM international conference on Digital libraries. :74-82.
1997
Gupta SK, Regli WC, Das D, Nau DS.  1997.  Automated manufacturability analysis: A survey. Research in Engineering Design. 9(3):168-190.
Cleary KR, Levine BA, Norton GS, Mundur PV.  1997.  Challenges in sending large radiology images over military communications channels. Proceedings of SPIE. 3035:230-230.
Naacke H, Kapitskaia O, Tomasic A, Bonnet P, Raschid L, Amouroux R.  1997.  The distributed information search component (disco) and the world wide web. Proc. of ACM SIGMOD Conf. on Management of Data.
Mount D, Netanyahu NS, Le Moigne J.  1997.  Efficient algorithms for robust feature matching. Image Registration Workshop Proceedings.
Nagy JG, O'Leary DP.  1997.  Fast iterative image restoration with a spatially varying PSF. Proceedings of SPIE. 3162(1):388-399.
Nirkhe M, Kraus S, Miller M, Perlis D.  1997.  How to (plan to) meet a deadline between now and then. Journal of Logic and Computation. 7(1):109-109.
Hollingsworth J, Niam O, Miller BP, Xu Z, Goncalves MJR, Zheng L.  1997.  MDL: a language and compiler for dynamic program instrumentation. , 1997 International Conference on Parallel Architectures and Compilation Techniques., 1997. Proceedings. :201-212.
Hicks MW, Moore JT, Nettles SM.  1997.  The measured cost of copying garbage collection mechanisms. SIGPLAN Not.. 32(8):292-305.

Pages