Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2007. Mixed-state models for nonstationary multiobject activities. EURASIP J. Appl. Signal Process.. 2007(1):106-106.
2007. MobCast: Overlay Architecture for Seamless IP Mobility using Scalable Anycast Proxies. Wireless Communications and Networking Conference, 2007.WCNC 2007. IEEE. :3872-3876.
2007. Model and algorithms for point cloud construction using digital projection patterns. Journal of Computing and Information Science in Engineering. 7:372-372.
2007. Modelling and rendering large volume data with gaussian radial basis functions. UMIACS-TR-2007-22
2007. Models for advancing PRAM and other algorithms into parallel programs for a PRAM-On-Chip platform. IN HANDBOOK OF PARALLEL COMPUTING: MODELS, ALGORITHMS AND APPLICATIONS, EDITORS.
2007. Multi-candidate reduction: Sentence compression as a tool for document summarization tasks. Information Processing & Management. 43(6):1549-1570.
2007. Multimodal Tracking for Smart Videoconferencing and Video Surveillance. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-2.
2007. Multiple alternative sentence compressions for automatic text summarization. Proceedings of DUC.
2007. Multiple View Image Reconstruction: A Harmonic Approach. IEEE Conference on Computer Vision and Pattern Recognition, 2007. CVPR '07. :1-8.
2007. A Multiple-Hypothesis Approach for Multiobject Visual Tracking. Image Processing, IEEE Transactions on. 16(11):2849-2854.
2007. Multiplexing BGP sessions with BGP-Mux. Proceedings of the 2007 ACM CoNEXT conference. :44:1–44:2-44:1–44:2.
2007. Multi-resolution Morse-Smale Complexes for Terrain Modeling. Image Analysis and Processing, 2007. ICIAP 2007. 14th International Conference on. :337-342.
2007. Multiresolution Terrain Processing and Visualization with VARIANT. Department of Computer and Information Sciences, University of Genova, Via Dodecaneso. 35:16146-16146.
2007. Multi-scale dual morse complexes for representing terrain morphology. Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems. :29:1–29:8-29:1–29:8.
2007. Multi-scale Structural Saliency for Signature Detection. IEEEConference on Computer Vision and Pattern Recognition (CVPR 2007)IEEEConference on Computer Vision and Pattern Recognition (CVPR 2007). :1-8.
2007. Multi-scale video cropping. Proceedings of the 15th international conference on Multimedia. :97-106.
2007. Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst.. 29(4)
2007. MyExperience: a system for in situ tracing and capturing of user feedback on mobile phones. Proceedings of the 5th international conference on Mobile systems, applications and services. :57-70.
2007. NetLens: iterative exploration of content-actor network data. Information Visualization. 6(1):18-31.
2007. NetLens: Iterative Exploration of Content-Actor Network Data. Information VisualizationInformation Visualization. 6(1):18-31.