Publications
Export 7151 results:
Author [ Title] Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2007. Probabilistic graphical models and their role in databases. Proceedings of the 33rd international conference on Very large data bases. :1435-1436.
2009. Probabilistic graphical models. IEEE transactions on pattern analysis and machine intelligence. 31(10):1775-1789.
2007. Probabilistic go theories.
2009. Probabilistic fusion-based parameter estimation for visual tracking. Computer Vision and Image Understanding. 113(4):435-445.
2007. Probabilistic Fusion Tracking Using Mixture Kernel-Based Bayesian Filtering. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
2000. A probabilistic framework for rigid and non-rigid appearance based tracking and recognition. Automatic Face and Gesture Recognition, 2000. Proceedings. Fourth IEEE International Conference on. :491-498.
1991. Probabilistic evaluation of bias for learning systems. Proceedings of the Eighth International Workshop on Machine Learning. :495-499.
2007. Probabilistic design of multimedia embedded systems. ACM Transactions on Embedded Computing Systems (TECS). 6(3):15–es-15–es.
2002. A Probabilistic Clustering-Based Indoor Location Determination System. Technical Reports from UMIACS, UMIACS-TR-2002-30.
1987. A probabilistic causal model for diagnostic problem solving (parts 1 and 2). IEEE Transactions on Systems, Man and Cybernetics. :146-162.
2011. A probabilistic approach for learning folksonomies from structured data. Proceedings of the fourth ACM international conference on Web search and data mining. :555-564.
2006. A probabilistic analysis of trie-based sorting of large collections of line segments in spatial databases. SIAM Journal on Computing. 35(1):22-58.
1993. Probabilistic analysis of some navigation strategies in a dynamic environment. Systems, Man and Cybernetics, IEEE Transactions on. 23(5):1465-1474.
1990. Probabilistic analysis of set operations with constant-time set equality test. Advances in Computing and Information—ICCI'90. :62-71.
2006. The prize-collecting generalized Steiner tree problem via a new approach of primal-dual schema. Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm. :631-640.
2011. Private Set Intersection: Are Garbled Circuits Better than Custom Protocols? 19th Network and Distributed Security Symposium.
2011. Private and Continual Release of Statistics. ACM Transactions on Information and System Security (TISSEC). 14(3):26:1-26:24.
2012. Privacy in Social Networks. Synthesis Lectures on Data Mining and Knowledge Discovery. 3(1):1-85.