Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
2002
Joshi K, Cukier M, Sanders W.  2002.  Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. Dependable Computing EDCC-4. 2485:644-648.
Demaine E, Hajiaghayi MT, Thilikos D.  2002.  Exponential speedup of fixed-parameter algorithms on K 3, 3-minor-free or K 5-minor-free graphs. Algorithms and Computation. :277-287.
Sinha R, Gupta SK, Paredis CJJ, Khosla PK.  2002.  Extracting articulation models from CAD models of parts with curved surfaces. TRANSACTIONS-AMERICAN SOCIETY OF MECHANICAL ENGINEERS JOURNAL OF MECHANICAL DESIGN. 124(1):106-114.
De Floriani L, Mesmoudi MM, Danovaro E.  2002.  Extraction of Critical Nets Based on a Discrete Gradient Vector Field. Proceedings of Eurographics.
Baidya B, Gupta SK, Mukherjee T.  2002.  An extraction-based verification methodology for MEMS. Microelectromechanical Systems, Journal of. 11(1):2-11.
Ramadan S, Abd-Almageed W, Smith CE.  2002.  Eye tracking using active deformable models. Proc. of the IIIrd Indian Conference on Computer Vision, Graphics and Image Processing.
Neumann J, Fermüller C, Aloimonos Y.  2002.  Eyes form eyes: New cameras for structure from motion. Proceedings Workshop on Omnidirectional Vision (OMNIVIS).
Neumann J, Fermüller C, Aloimonos Y.  2002.  Eyes from eyes: new cameras for structure from motion. Third Workshop on Omnidirectional Vision, 2002. Proceedings. :19-26.
Zhou S, Krueger V, Chellappa R.  2002.  Face recognition from video: a CONDENSATION approach. Automatic Face and Gesture Recognition, 2002. Proceedings. Fifth IEEE International Conference on. :221-226.
Foster JS, Terauchi T, Aiken A.  2002.  Flow-sensitive type qualifiers. ACM SIGPLAN Notices. 37(5):1-12.
Ramasamy HV, Cukier M, Sanders WH.  2002.  Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system. :9-18.
Katz J.  2002.  A forward-secure public-key encryption scheme.
Colwell RR.  2002.  Fulfilling the promise of marine biotechnology. Marine biotechnology in the twenty-first century: problems, promise, and productsMarine biotechnology in the twenty-first century: problems, promise, and products. :39-39.
Bellam S, Gupta SK, Priyadarshi AK.  2002.  Generating 3D Models of MEMS Devices by Process Emulation. ISR; TR 2002-57
Ayan NF, Dorr BJ.  2002.  Generating A Parsing Lexicon from an LCS-Based Lexicon. LREC 2002 Workshop Proceedings: Linguistic Knowledge Acquisition and Representation: Bootstrapping Annotated Language Data.
Ayan NF, Dorr BJ.  2002.  Generating A Parsing Lexicon From Lexical-Conceptual Structure.
Li B, Chellappa R.  2002.  A generic approach to simultaneous tracking and verification in video. Image Processing, IEEE Transactions on. 11(5):530-544.
Cleaveland R, Sims ST.  2002.  Generic tools for verifying concurrent systems. Science of Computer Programming. 42(1):39-47.
Carlton JM, Angiuoli SV, Suh BB, Kooij TW, Pertea M, Silva JC, Ermolaeva MD, Allen JE, Selengut JD, Koo HL et al..  2002.  Genome sequence and comparative analysis of the model rodent malaria parasite Plasmodium yoelii yoelii. Nature. 419(6906):512-519.
Pop M, Salzberg SL, Shumway M.  2002.  Genome Sequence Assembly: Algorithms and Issues. Computer. 35(7):47-54.
Zo YG, Rivera ING, Russek-Cohen E, Islam MS, Siddique AK, Yunus M, Sack RB, Huq A, Colwell RR.  2002.  Genomic profiles of clinical and environmental isolates of Vibrio cholerae O1 in cholera-endemic areas of Bangladesh. Proceedings of the National Academy of Sciences. 99(19):12409-12409.
James F, Lai J, Suhm B, Balentine B, Makhoul J, Nass C, Shneiderman B.  2002.  Getting real about speech: overdue or overhyped? CHI '02 extended abstracts on Human factors in computing systems. :708-709.
Daumé H, Echihabi A, Marcu D, Munteanu D, Soricut R.  2002.  GLEANS: A generator of logical extracts and abstracts for nice summaries. Workshop on Automatic Summarization. :9-14.
Memon AM.  2002.  GUI testing: Pitfalls and process. IEEE Computer. 35(8):87-88.
Danovaro E, De Floriani L.  2002.  Half-edge Multi-Tessellation: a compact representations for multiresolution tetrahedral meshes. Proceedings 1st International Symposium on 3D Data Processing Visualization and Transmission. :494-499.

Pages