Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2002. Performance analysis of a simple vehicle detection algorithm. Image and Vision Computing. 20(1):1-13.
2002. Performance and analysis of saddle point preconditioners for the discrete steady-state Navier-Stokes equations. Numerische Mathematik. 90(4):665-688.
2002. Performance evaluation of a QoS-aware framework for providing tunable consistency and timeliness. :214-223.
2002. Performance evaluation of object detection algorithms. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 3:965-969vol.3-965-969vol.3.
2002. Persistent caching in a multiple query optimization framework. Proceedings of the 6th Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers.
2002. Perturbation technique for LLG dynamics in uniformly magnetized bodies subject to RF fields. Magnetics, IEEE Transactions on. 38(5):2403-2405.
2002. A photo history of SIGCHI: evolution of design from personal to public. interactions. 9(3):17-23.
2002. Phylogenetic analysis based on 18S ribosomal RNA gene sequences supports the existence of class Polyacanthocephala (Acanthocephala). Mol Phylogenet Evol. 23(2):288-292.
2002. Physical Programming: Designing Tools for Children to Create Physical Interactive. Proceedings: SIGCHI.
2002. Polydioptric Cameras: New Eyes for Structure from Motion. Pattern RecognitionPattern Recognition. 2449:618-625.
2002. Predicting Transcription Factor Synergism. Nucleic Acids ResearchNucl. Acids Res.. 30(19):4278-4284.
2002. Presentation planning for distributed VoD systems. Knowledge and Data Engineering, IEEE Transactions on. 14(5):1059-1077.
2002. A Probabilistic Clustering-Based Indoor Location Determination System. Technical Reports from UMIACS, UMIACS-TR-2002-30.
2002. Probabilistic Human Recognition from Video. Computer Vision — ECCV 2002Computer Vision — ECCV 2002. 2352:173-183.
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.
2002. Processing large-scale multi-dimensional data in parallel and distributed environments. Parallel Computing. 28(5):827-859.
2002. Promoting universal usability with multi-layer interface design. ACM SIGCAPH Computers and the Physically Handicapped. (73-74):1-8.
2002. Purification and properties of the extracellular lipase, LipA, of Acinetobacter sp. RAG‐1. European Journal of Biochemistry. 269(23):5771-5779.