Publications
Export 508 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is B [Clear All Filters]
2001. Parameterized dataflow modeling for DSP systems. Signal Processing, IEEE Transactions on. 49(10):2408-2421.
2004. Iterative record linkage for cleaning and integration. Proceedings of the 9th ACM SIGMOD workshop on Research issues in data mining and knowledge discovery. :11-18.
2005. Relational clustering for multi-type entity resolution. Proceedings of the 4th international workshop on Multi-relational mining. :3-12.
2007. Online collective entity resolution. PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE. 22(2):1606-1606.
2006. Relational clustering for entity resolution queries. ICML 2006 Workshop on Statistical Relational Learning (SRL).
2004. Unsupervised sense disambiguation using bilingual probabilistic models. Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics.
2006. Query-time entity resolution. International conference on knowledge discovery and data mining. :529-534.
2006. Postmodern internetwork architecture. ITTC-FY2006-TR-45030-01, Information and Telecommunication Center, The University of Kansas.
2010. Overlay Networking and Resiliency. Guide to Reliable Internet Services and Applications. :221-251.
2001. Handling uncertainty with active logic. In Proceedings, AAAI Fall Symposium on Uncertainty in Computation.
2008. Trellis: a platform for building flexible, fast virtual networks on commodity hardware. Proceedings of the 2008 ACM CoNEXT Conference. :72:1–72:6-72:1–72:6.
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
2001. Efficient Model Checking Via Buchi Tableau Automata⋆. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings. 2102:38-38.
1996. Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.
1997. Dynamic priorities for modeling real-time. Proc. of the Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE X/PSTV XVII’97). :321-336.
1999. A practical approach to implementing real-time semantics. Annals of Software Engineering. 7(1):127-155.
1996. Efficient local model-checking for fragments of the modal $\mu$-calculus. Tools and Algorithms for the Construction and Analysis of Systems. :107-126.
2007. Guest Editorial: Special Issue on Human Detection and Recognition. Information Forensics and Security, IEEE Transactions on. 2(3):489-490.