Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2007
Sommer DD, Delcher AL, Salzberg SL, Pop M.  2007.  Minimus: a fast, lightweight genome assembler. BMC Bioinformatics. 8(1):64-64.
Cuntoor NP, Chellappa R.  2007.  Mixed-state models for nonstationary multiobject activities. EURASIP J. Appl. Signal Process.. 2007(1):106-106.
Lee CP, Attrey K, Caballero C, Feamster N, Mihail M, Copeland JA.  2007.  MobCast: Overlay Architecture for Seamless IP Mobility using Scalable Anycast Proxies. Wireless Communications and Networking Conference, 2007.WCNC 2007. IEEE. :3872-3876.
Liu X, Doermann D.  2007.  Mobile Retriever - Finding Document with a Snapshot. CBDAR. :29-34.
Peng T, Gupta SK.  2007.  Model and algorithms for point cloud construction using digital projection patterns. Journal of Computing and Information Science in Engineering. 7:372-372.
Juba D, Varshney A.  2007.  Modelling and rendering large volume data with gaussian radial basis functions. UMIACS-TR-2007-22
Vishkin U, Caragea GC, Lee B.  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.
Fang H, O'Leary DP.  2007.  Modified Cholesky Algorithms: A Catalog with New Approaches. Mathematical Programming.
Zajic D, Dorr BJ, Jimmy Lin, Schwartz R.  2007.  Multi-candidate reduction: Sentence compression as a tool for document summarization tasks. Information Processing & Management. 43(6):1549-1570.
Elaine Shi, Bethencourt J, Chan T-HH, Song D, Perrig A.  2007.  Multi-Dimensional Range Query over Encrypted Data. :350-364.
Zotkin DN, Raykar VC, Duraiswami R, Davis LS.  2007.  Multimodal Tracking for Smart Videoconferencing and Video Surveillance. Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on. :1-2.
Madnani N, Zajic D, Dorr BJ, Ayan NF, Jimmy Lin.  2007.  Multiple alternative sentence compressions for automatic text summarization. Proceedings of DUC.
Domke J, Aloimonos Y.  2007.  Multiple View Image Reconstruction: A Harmonic Approach. IEEE Conference on Computer Vision and Pattern Recognition, 2007. CVPR '07. :1-8.
Joo S-W, Chellappa R.  2007.  A Multiple-Hypothesis Approach for Multiobject Visual Tracking. Image Processing, IEEE Transactions on. 16(11):2849-2854.
Valancius V, Feamster N.  2007.  Multiplexing BGP sessions with BGP-Mux. Proceedings of the 2007 ACM CoNEXT conference. :44:1–44:2-44:1–44:2.
Danovaro E, De Floriani L, Vitali M.  2007.  Multi-resolution Morse-Smale Complexes for Terrain Modeling. Image Analysis and Processing, 2007. ICIAP 2007. 14th International Conference on. :337-342.
De Floriani L, Magillo P.  2007.  Multiresolution Terrain Processing and Visualization with VARIANT. Department of Computer and Information Sciences, University of Genova, Via Dodecaneso. 35:16146-16146.
Danovaro E, De Floriani L, Vitali M, Magillo P.  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.
Zhu G, Zheng Y, Doermann D, Jaeger S.  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.
El-Alfy H, Jacobs DW, Davis LS.  2007.  Multi-scale video cropping. Proceedings of the 15th international conference on Multimedia. :97-106.
Stoyle G, Hicks MW, Bierman G, Sewell P, Neamtiu I.  2007.  Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst.. 29(4)
Froehlich J, Chen MY, Consolvo S, Harrison B, Landay JA.  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.
[Anonymous].  2007.  NETB'07: Proceedings of the 3rd USENIX international workshop on Networking meets databases.
Kang H, Plaisant C, Lee B, Bederson BB.  2007.  NetLens: iterative exploration of content-actor network data. Information Visualization. 6(1):18-31.
Kang H, Plaisant C, Lee B, Bederson BB.  2007.  NetLens: Iterative Exploration of Content-Actor Network Data. Information VisualizationInformation Visualization. 6(1):18-31.

Pages