Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2009. Markov random topic fields. Proceedings of the ACL-IJCNLP 2009 Conference Short Papers. :293-296.
1988. The Maryland approach to image understanding. Science Applications International Corp, Proceedings: Image Understanding Workshop,. 1
2009. Matching person names through name transformation. Proceedings of the 18th ACM conference on Information and knowledge management. :1875-1878.
2003. Matching Software Measurements to Business Goals. Keynote Address at the 2003 Software Management Conference, San Jose, California.
2008. Matchmaking and implementation issues for a P2P desktop grid. Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on. :1-5.
2011. Materializing multi-relational databases from the web using taxonomic queries. Proceedings of the fourth ACM international conference on Web search and data mining. :355-364.
2006. MauveDB: supporting model-based user views in database systems. Proceedings of the 2006 ACM SIGMOD international conference on Management of data. :73-84.
2011. Maximizing Expected Utility for Stochastic Combinatorial Optimization Problems. 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science (FOCS). :797-806.
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.
2007. An M-channel directional filter bank compatible with the contourlet and shearlet frequency tiling. Proceedings of SPIE. 6701:67010C-67010C.
1997. MDL: a language and compiler for dynamic program instrumentation. , 1997 International Conference on Parallel Architectures and Compilation Techniques., 1997. Proceedings. :201-212.
2011. MDMap: A system for data-driven layout and exploration of molecular dynamics simulations. Biological Data Visualization (BioVis), 2011 IEEE Symposium on. :111-118.
2005. Meaningful presentations of photo libraries: rationale and applications of bi-level radial quantum layouts. Proceedings of the 5th ACM/IEEE-CS Joint Conference on Digital Libraries, 2005. JCDL '05. :188-196.
2003. Mean-shift analysis using quasiNewton methods. Image Processing, 2003. ICIP 2003. Proceedings. 2003 International Conference on. 2:II-447-50vol.3-II-447-50vol.3.
2007. Measurement and analysis of online social networks. Proceedings of the 7th ACM SIGCOMM conference on Internet measurement. :29-42.
2004. Measurement based optimal multi-path routing. INFOCOM 2004. Twenty-third AnnualJoint Conference of the IEEE Computer and Communications Societies. 1:187-196.
2008. Measurement Manipulation and Space Selection in Network Coordinates. Distributed Computing Systems, International Conference on. :361-368.
2009. Measurement methods for fast and accurate blackhole identification with binary tomography. Proceedings of the 9th ACM SIGCOMM conference on Internet measurement conference. :254-266.
2005. Measurement-based multipath multicast. INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings IEEE. 4:2803-2808vol.4-2803-2808vol.4.
2005. Measurements for understanding the behavior of the genetic algorithm in dynamic environments: a case study using the Shaky Ladder Hyperplane-Defined Functions. Proceedings of the 2005 workshops on Genetic and evolutionary computation. :32-38.
2008. Measuring 1st order stretchwith a single filter. IEEE International Conference on Acoustics, Speech and Signal Processing, 2008. ICASSP 2008. :909-912.
2009. Measuring General Relational Structure Using the Block Modularity Clustering Objective. Twenty-Second International FLAIRS Conference.
2002. Measuring ISP topologies with Rocketfuel. ACM SIGCOMM Computer Communication Review. 32:133-145.
2005. Measuring productivity on high performance computers. 11th IEEE International Symposium on Software Metric.