Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2002
Ren Y, Rubel P, Seri M, Cukier M, Sanders WH, Courtney T.  2002.  Passive replication schemes in AQuA. :125-130.
Moon H, Chellappa R, Rosenfeld A.  2002.  Performance analysis of a simple vehicle detection algorithm. Image and Vision Computing. 20(1):1-13.
Elman H, Silvester DJ, Wathen AJ.  2002.  Performance and analysis of saddle point preconditioners for the discrete steady-state Navier-Stokes equations. Numerische Mathematik. 90(4):665-688.
Krishnamurthy S, Sanders WH, Cukier M.  2002.  Performance evaluation of a probabilistic replica selection algorithm. :119-127.
Krishnamurthy S, Sanders WH, Cukier M.  2002.  Performance evaluation of a QoS-aware framework for providing tunable consistency and timeliness. :214-223.
Mariano VY, Min J, Park J-H, Kasturi R, Mihalcik D, Li H, Doermann D, Drayer T.  2002.  Performance evaluation of object detection algorithms. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 3:965-969vol.3-965-969vol.3.
Andrade H, Kurc T, Catalyurek U, Sussman A, Saltz J.  2002.  Persistent caching in a multiple query optimization framework. Proceedings of the 6th Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers.
Bertotti G, Mayergoyz ID, Serpico C.  2002.  Perturbation technique for LLG dynamics in uniformly magnetized bodies subject to RF fields. Magnetics, IEEE Transactions on. 38(5):2403-2405.
Shneiderman B, Kang H, Kules B, Plaisant C, Rose A, Rucheir R.  2002.  A photo history of SIGCHI: evolution of design from personal to public. interactions. 9(3):17-23.
García-Varela M, Cummings MP, Pérez-Ponce de León G, Gardner SL, Laclette JP.  2002.  Phylogenetic analysis based on 18S ribosomal RNA gene sequences supports the existence of class Polyacanthocephala (Acanthocephala). Mol Phylogenet Evol. 23(2):288-292.
Montemayor J, Druin A, Farber A, Simms S, Churaman W.  2002.  Physical Programming: Designing Tools for Children to Create Physical Interactive. Proceedings: SIGCHI.
Dix J, Muñoz-Avila H, Nau DS, Zhang L.  2002.  Planning in a multi-agent environment: theory and practice. :944-945.
Neumann J, Fermüller C, Aloimonos Y.  2002.  Polydioptric cameras: New eyes for structure from motion. Pattern Recognition. :618-625.
Neumann J, Fermüller C, Aloimonos Y.  2002.  Polydioptric Cameras: New Eyes for Structure from Motion. Pattern RecognitionPattern Recognition. 2449:618-625.
Schulz R, Reggia JA.  2002.  Predicting nearest agent distances in artificial worlds. Artificial life. 8(3):247-264.
Hannenhalli S, Levy S.  2002.  Predicting Transcription Factor Synergism. Nucleic Acids ResearchNucl. Acids Res.. 30(19):4278-4284.
Hwang E, Prabhakaran B, V.S. Subrahmanian.  2002.  Presentation planning for distributed VoD systems. Knowledge and Data Engineering, IEEE Transactions on. 14(5):1059-1077.
Youssef MA, Agrawala AK, Shankar UA, Noh SH.  2002.  A Probabilistic Clustering-Based Indoor Location Determination System. Technical Reports from UMIACS, UMIACS-TR-2002-30.
Zhou S, Chellappa R.  2002.  Probabilistic Human Recognition from Video. Computer Vision — ECCV 2002Computer Vision — ECCV 2002. 2352:173-183.
Chellappa R, Kruger V, Zhou S.  2002.  Probabilistic recognition of human faces from video. Image Processing. 2002. Proceedings. 2002 International Conference on. 1:I-41-I-44vol.1-I-41-I-44vol.1.
Sanders WH, Cukier M, Webber F, Pal P, Watro R.  2002.  Probabilistic validation of intrusion tolerance. :78-79.
Beynon M, Chang C, Catalyurek U, Kurc T, Sussman A, Andrade H, Ferreira R, Saltz J.  2002.  Processing large-scale multi-dimensional data in parallel and distributed environments. Parallel Computing. 28(5):827-859.
Shneiderman B.  2002.  Promoting universal usability with multi-layer interface design. ACM SIGCAPH Computers and the Physically Handicapped. (73-74):1-8.
Snellman EA, Sullivan ER, Colwell RR.  2002.  Purification and properties of the extracellular lipase, LipA, of Acinetobacter sp. RAG‐1. European Journal of Biochemistry. 269(23):5771-5779.
Ramasamy HV, Pandey P, Lyons J, Cukier M, Sanders WH.  2002.  Quantifying the cost of providing intrusion tolerance in group communication systems. :229-238.

Pages