Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2006. Lower Bounds on the Deterministic and Quantum Communication Complexities of Hamming-Distance Problems. Algorithms and ComputationAlgorithms and Computation. 4288:628-637.
2006. Machine Learning Meets Agent-Based Modeling: When not to go to A Bar. Proceedings of Agent Based Simulation.
2006. Machine Translation: Interlingual Methods. Encyclopedia of Language & Linguistics (Second Edition)Encyclopedia of Language & Linguistics (Second Edition). :383-394.
2006. Machining feature-based similarity assessment algorithms for prismatic machined parts. Computer-Aided Design. 38(9):954-972.
2006. Maintenance of K-nn and spatial join queries on continuously moving points. ACM Trans. Database Syst.. 31(2):485-536.
2006. Making a difference: integrating socially relevant projects into HCI teaching. CHI '06 extended abstracts on Human factors in computing systems. :41-44.
2006. A mammalian promoter model links cis elements to genetic networks. Biochemical and Biophysical Research Communications. 347(1):166-177.
2006. Managing policy updates in security-typed languages. 19th IEEE Computer Security Foundations Workshop, 2006. :13pp.-216-13pp.-216.
2006. Manufacturing of multi-material compliant mechanisms using multi-material molding. The International Journal of Advanced Manufacturing Technology. 30(11):1049-1075.
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.
2006. Matching Jobs to Resources in Distributed Desktop Grid Environments. Technical Reports from UMIACS, UMIACS-TR-2006-15.
2006. MauveDB: supporting model-based user views in database systems. Proceedings of the 2006 ACM SIGMOD international conference on Management of data. :73-84.
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.
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.
2006. Measurement-based optimal routing on overlay architectures for unicast sessions. Computer Networks. 50(12):1938-1951.
2006. Measuring human movement for biomechanical applications using markerless motion capture. Proceedings of SPIE. 6056:60560R-60560R.
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.
2006. Mesh-of-Trees and Alternative Interconnection Networks for Single Chip Parallel Processing (Extended Abstract). Technical Reports from UMIACS, UMIACS-TR-2006-32.
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.
2006. Methods for automatically evaluating answers to complex questions. Information Retrieval. 9(5):565-587.