Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2001. Independence is good: dependency-based histogram synopses for high-dimensional data. SIGMOD Rec.. 30(2):199-210.
2003. Cache-and-query for wide area sensor databases. Proceedings of the 2003 ACM SIGMOD international conference on Management of data. :503-514.
2008. Flow Algorithms for Parallel Query Optimization. IEEE 24th International Conference on Data Engineering, 2008. ICDE 2008. :754-763.
2005. Using probabilistic models for data management in acquisitional environments. Proc. CIDR. :317-328.
2004. Model-driven data acquisition in sensor networks. Proceedings of the Thirtieth international conference on Very large data bases - Volume 30. :588-599.
2007. Adaptive query processing: why, how, when, what next? Proceedings of the 33rd international conference on Very large data bases. :1426-1427.
2002. Decoupled query optimization for federated database systems. 18th International Conference on Data Engineering, 2002. Proceedings. :716-727.
2007. Probabilistic graphical models and their role in databases. Proceedings of the 33rd international conference on Very large data bases. :1435-1436.
2010. Increasing representational power and scaling reasoning in probabilistic databases. Proceedings of the 13th International Conference on Database Theory. :1-1.
2005. Toward on-line schema evolution for non-stop systems. 11th High Performance Transaction Systems Workshop.
2006. MauveDB: supporting model-based user views in database systems. Proceedings of the 2006 ACM SIGMOD international conference on Management of data. :73-84.
1993. SOCAP: lessons learned in automating military operations planning. Proceedings of the 6th international conference on Industrial and engineering applications of artificial intelligence and expert systems. :384-393.
1998. Hybrid planning: An approach to integrating generative and case-based planning. Working Notes of the AAAI-98 Workshop on Case-Based Reasoning Integrations.
2006. Learning user preferences for sets of objects. Proceedings of the 23rd international conference on Machine learning. :273-280.
2007. Heuristic Search and Information Visualization Methods for School Redistricting. AI Magazine. 28(3):59-59.
2010. Confidence-based feature acquisition to minimize training and test costs. Proceedings of the SIAM Conference on Data Mining. 76(373):514-524.
1995. How to succeed in graduate school: a guide for students and advisors: part II of II. Crossroads. 1(3):1-6.
1993. Workshop summary: AAAI-92 Workshop on Constraining Learning with Prior Knowledge. ACM SIGART Bulletin. 4(3):11-13.
2006. Heuristic search and information visualization methods for school redistricting. Proceedings of the 18th conference on Innovative applications of artificial intelligence - Volume 2. :1774-1781.
1994. Knowledge acquisition techniques for a military planning system. Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on. :454-460.
2010. Broadening student enthusiasm for computer science with a great insights course. Proceedings of the 41st ACM technical symposium on Computer science education. :157-161.