Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2006. An exploratory study of the W3C mailing list test collection for retrieval of emails with pro/con arguments. Proceedings of the Third Conference on Email and Anti-Spam, Mountain View, CA, July.
2006. Exploring auction databases through interactive visualization. Decision Support Systems. 42(3):1521-1538.
2006. Exploring content-actor paired network data using iterative query refinement with NetLens. Digital Libraries, 2006. JCDL '06. Proceedings of the 6th ACM/IEEE-CS Joint Conference on. :372-372.
2006. Exploring erotics in Emily Dickinson's correspondence with text mining and visual interfaces. Proceedings of the 6th ACM/IEEE-CS joint conference on Digital libraries. :141-150.
2006. Exploring personal media: A spatial interface supporting user-defined semantic regions. Journal of Visual Languages & Computing. 17(3):254-283.
2006. Exploring QIM-based anti-collusion fingerprinting for multimedia. Proceedings of SPIE. 6072:698-709.
2006. Exploring the limits of single-iteration clarification dialogs. Proceedings of the 29th annual international ACM SIGIR conference on Research and development in information retrieval. :469-476.
2006. Extending the SAND Spatial Database System for the Visualization of Three-Dimensional Scientific Data. Geographical Analysis. 38(1):87-101.
2006. Eye of the Beholder: Phone-Based Text-Recognition for the Visually-Impaired. 2006 10th IEEE International Symposium on Wearable Computers. :145-146.
2006. Face Verification Across Age Progression. Image Processing, IEEE Transactions on. 15(11):3349-3361.
2006. Fast head-related transfer function measurement via reciprocity. The Journal of the Acoustical Society of America. 120(4):2202-2215.
2006. A Fast k-Neighborhood Algorithm for Large Point-Clouds. Proceedings of the 3rd IEEE/Eurographics Symposium on Point-Based Graphics. ACM, Boston, MA, USA.
2006. Fast multipole method for the biharmonic equation in three dimensions. Journal of Computational Physics. 215(1):363-383.
2006. Fast optimal bandwidth selection for kernel density estimation. Proceedings of the sixth SIAM International Conference on Data Mining. :524-528.
2006. A feature generation algorithm for sequences with application to splice-site prediction. Knowledge Discovery in Databases: PKDD 2006. :553-560.
2006. File System Support for Collaboration in theWide Area. Distributed Computing Systems, 2006. ICDCS 2006. 26th IEEE International Conference on. :26-26.
2006. Find that photo!: interface strategies to annotate, browse, and share. Communications of the ACM - Supporting exploratory search. 49(4):69-71.
2006. Finding Gait in Space and Time. Pattern Recognition, 2006. ICPR 2006. 18th International Conference on. 4:586-589.
2006. Finding Mold-Piece Regions Using Computer Graphics Hardware. Geometric Modeling and Processing - GMP 2006. 4077:655-662.
2006. Flow algorithms for two pipelined filter ordering problems. Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. :193-202.