Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2001
Hochheiser H, Shneiderman B.  2001.  Visual specification of queries for finding patterns in time-series data. Proceedings of discovery science. :441-446.
Kurc T, Catalyurek U, Chang C, Sussman A, Saltz J.  2001.  Visualization of large data sets with the Active Data Repository. IEEE Computer Graphics and Applications. 21(4):24-33.
M. Wu, Liu B.  2001.  Watermarking scheme for image authentication. (6285775)
Li ST, Ge QJ, Varshney A.  2001.  Web-based interactive design of freeform motions. Proceedings of the ASME 2001 Design Engineering Technical Conferences and Computers and Information in Engineering Conference.
Craver SA, M. Wu, Liu B.  2001.  What can we reasonably expect from watermarks? Applications of Signal Processing to Audio and Acoustics, 2001 IEEE Workshop on the. :223-226.
Hassin R, Khuller S.  2001.  z-Approximations. Journal of Algorithms. 41(2):429-442.
2002
Berman P, Hannenhalli S, Karpinski M.  2002.  1.375-Approximation Algorithm for Sorting by Reversals. Algorithms — ESA 2002Algorithms — ESA 2002. 2461:401-408.
Chowdhury AR, Chellappa R, Krishnamurthy S, Vo T.  2002.  3D face reconstruction from video using a generic model. Multimedia and Expo, 2002. ICME '02. Proceedings. 2002 IEEE International Conference on. 1:449-452vol.1-449-452vol.1.
Blake B, Haigh K, Hexmoor H, Falcone R, Soh L-K, Baral C, McIlraith S, Gmytrasiewicz P, Parsons S, Malaka R et al..  2002.  AAAI 2002 Workshops. AI Magazine. 23(4):113-113.
Shneiderman B.  2002.  ACM's computing professionals face new challenges. Communications of the ACM. 45(2):31-34.
Tapus C, Chung I-H, Hollingsworth J.  2002.  Active Harmony: Towards Automated Performance Tuning. Supercomputing, ACM/IEEE 2002 Conference. :44-44.
Andrade H, Kurc T, Sussman A, Saltz J.  2002.  Active Proxy-G: Optimizing the query execution process in the Grid. Proceedings of the 2002 ACM/IEEE conference on Supercomputing. :1-15.
Kochut A, Agrawala AK, Larsen RL, Shankar UA.  2002.  AD (Attacker Defender) Game. Technical Reports from UMIACS, UMIACS-TR-2001-45.
Krishnamurthy S, Sanders WH, Cukier M.  2002.  An adaptive framework for tunable consistency and timeliness using replication. :17-26.
Mahajan A, Mundur P, Joshi A.  2002.  Adaptive Multimedia System Architecture for Improving QoS inWireless Networks. Advances in Multimedia Information Processing—PCM 2002. :37-47.
Stewart G.W.  2002.  Addendum to "A Krylov--Schur Algorithm for Large Eigenproblems". UMIACS-TR-2001-90
Dix J, Kraus S, V.S. Subrahmanian.  2002.  Agents dealing with time and uncertainty. Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2. :912-919.
Mount D, Stein C.  2002.  Algorithm Engineering and Experiments: 4th International Workshop, Alenex 2002, San Francisco, Ca, Usa, January 4-5. 2002 : Revised Papers.
Agarwal PK, Guibas LJ, Edelsbrunner H, Erickson J, Isard M, Har-Peled S, Hershberger J, Jensen C, Kavraki L, Koehl P et al..  2002.  Algorithmic issues in modeling motion. ACM Comput. Surv.. 34(4):550-572.
Barfourosh AA, Nezhad HRM, Anderson M, Perlis D.  2002.  ALLI: An Information Integration System Based on Active Logic Framework. Proceedings of the Third International Conference on Management Information Systems, Greece. :339-348.
Mundur P, Simon R, Sood A.  2002.  The Analysis and Performance of Multi-Rate Service in Distributed Video-on-Demand Systems. Multimedia Tools and Applications. 17(1):51-75.
Chun J, Rivera ING, Colwell RR.  2002.  Analysis of 16S-23S rRNA intergenic spacer of Vibrio cholerae and Vibrio mimicus for detection of these species. METHODS IN MOLECULAR BIOLOGY. 179:171-178.
Maneewongvatana S, Mount D.  2002.  Analysis of approximate nearest neighbor searching with clustered point sets. Data Structures, Near Neighbor Searches, and MethodologyData Structures, Near Neighbor Searches, and Methodology. 59:105-123.
Diehl S, Diehl F, El-Sayed NM, Clayton C, Hoheisel JD.  2002.  Analysis of stage-specific gene expression in the bloodstream and the procyclic form of Trypanosoma brucei using a genomic DNA-microarray. Molecular and Biochemical Parasitology. 123(2):115-123.
Banerjee S, Bhattacharjee B.  2002.  Analysis of the NICE Application Layer Multicast Protocol. Technical Reports from UMIACS, UMIACS-TR-2002-60.

Pages