Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2006
Ambainis A, Gasarch W, Srinivasan A, Utis A.  2006.  Lower Bounds on the Deterministic and Quantum Communication Complexities of Hamming-Distance Problems. Algorithms and ComputationAlgorithms and Computation. 4288:628-637.
Rand W.  2006.  Machine Learning Meets Agent-Based Modeling: When not to go to A Bar. Proceedings of Agent Based Simulation.
Dorr BJ, Hovy E, Levin L.  2006.  Machine Translation: Interlingual Methods. Encyclopedia of Language & Linguistics (Second Edition)Encyclopedia of Language & Linguistics (Second Edition). :383-394.
Cardone A, Gupta SK, Deshmukh A, Karnik M.  2006.  Machining feature-based similarity assessment algorithms for prismatic machined parts. Computer-Aided Design. 38(9):954-972.
Au TC, Nau DS.  2006.  Maintaining cooperation in noisy environments. 21:1561-1561.
Iwerks GS, Samet H, Smith KP.  2006.  Maintenance of K-nn and spatial join queries on continuously moving points. ACM Trans. Database Syst.. 31(2):485-536.
Shneiderman B, Bishop A, Friedman B, Lazar J, Marsden G, Nass C.  2006.  Making a difference: integrating socially relevant projects into HCI teaching. CHI '06 extended abstracts on Human factors in computing systems. :41-44.
Wang J, Hannenhalli S.  2006.  A mammalian promoter model links cis elements to genetic networks. Biochemical and Biophysical Research Communications. 347(1):166-177.
Swamy N, Hicks MW, Tse S, Zdancewic S.  2006.  Managing policy updates in security-typed languages. 19th IEEE Computer Security Foundations Workshop, 2006. :13pp.-216-13pp.-216.
Gouker R, Gupta SK, Bruck H, Holzschuh T.  2006.  Manufacturing of multi-material compliant mechanisms using multi-material molding. The International Journal of Advanced Manufacturing Technology. 30(11):1049-1075.
Haim F, Sen M, Ko D-I, Bhattacharyya SS, Wolf W.  2006.  Mapping Multimedia Applications Onto Configurable Hardware With Parameterized Cyclo-Static Dataflow Graphs. Acoustics, Speech and Signal Processing, 2006. ICASSP 2006 Proceedings. 2006 IEEE International Conference on. 3:III-III.
Kim J-S, Bhattacharjee B, Keleher PJ, Sussman A.  2006.  Matching Jobs to Resources in Distributed Desktop Grid Environments. Technical Reports from UMIACS, UMIACS-TR-2006-15.
Mayergoyz ID.  2006.  MATHEMATICAL MODELS OF HYSTERESIS (DYNAMIC PROBLEMS IN HYSTERESIS).
Deshpande A, Madden S.  2006.  MauveDB: supporting model-based user views in database systems. Proceedings of the 2006 ACM SIGMOD international conference on Management of data. :73-84.
Ayan N F, Dorr BJ.  2006.  A maximum entropy approach to combining word alignments. Proceedings of the main conference on Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics. :96-103.
Khan Z, Balch T, Dellaert F..  2006.  MCMC Data Association and Sparse Factorization Updating for Real Time Multitarget Tracking with Merged and Multiple Measurements. IEEE Transactions on Pattern Analysis and Machine Intelligence. 28(12):1960-1972.
La RJ, Shayman MA, Bhattacharjee B.  2006.  Measurement-based optimal routing on overlay architectures for unicast sessions. Computer Networks. 50(12):1938-1951.
Mündermann L, Corazza S, Chaudhari AM, Andriacchi TP, Sundaresan A, Chellappa R.  2006.  Measuring human movement for biomechanical applications using markerless motion capture. Proceedings of SPIE. 6056:60560R-60560R.
Murthy PK, Bhattacharyya SS.  2006.  Memory management for synthesis of DSP software.
Ko MY, Shen CC, Bhattacharyya SS.  2006.  Memory-constrained block processing optimization for synthesis of DSP software. Embedded Computer Systems: Architectures, Modeling and Simulation, 2006. IC-SAMOS 2006. International Conference on. :137-143.
Balkan AO, Qu G, Vishkin U.  2006.  Mesh-of-Trees and Alternative Interconnection Networks for Single Chip Parallel Processing (Extended Abstract). Technical Reports from UMIACS, UMIACS-TR-2006-32.
Anderson ML, Oates T, Chong W, Perlis D.  2006.  The metacognitive loop I: Enhancing reinforcement learning with metacognitive monitoring and control for improved perturbation tolerance. Journal of Experimental & Theoretical Artificial Intelligence. 18(3):387-411.
Gill SR, Pop M, DeBoy RT, Eckburg PB, Turnbaugh PJ, Samuel BS, Gordon JI, Relman DA, Fraser-Liggett CM, Nelson KE.  2006.  Metagenomic Analysis of the Human Distal Gut Microbiome. Science. 312(5778):1355-1359.
Ran Y, Chellappa R, Zheng Q.  2006.  Method and System for Object Surveillance and Real Time Activity Recognition. 12/086,118
Jimmy Lin, Demner-Fushman D.  2006.  Methods for automatically evaluating answers to complex questions. Information Retrieval. 9(5):565-587.

Pages