Publications

Search
Export 7150 results:
Author [ Title(Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
Dubayah R, Blair JB, Bufton JL, Clark DB, JaJa JF, Knox R, Luthcke SB, Prince S, Weishampel J.  1997.  The vegetation canopy lidar mission. Proceedings of Land Satellite Information in the Next Decade, II: Sources and Applications. Bethesda (MD): American Society of Photogrammetry and Remote Sensing. :100-112.
Chellappa R, Qian G, Zheng Q.  2004.  Vehicle detection and tracking using acoustic and video sensors. Acoustics, Speech, and Signal Processing, 2004. Proceedings. (ICASSP '04). IEEE International Conference on. 3:iii-793-6vol.3-iii-793-6vol.3.
Kembhavi A, Harwood D, Davis LS.  2011.  Vehicle Detection Using Partial Least Squares. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 33(6):1250-1265.
Cevher V, Chellappa R, Gurbuz AC, Shah F, McClellan JH.  2006.  Vehicle Fingerprinting Using Drive-By Sounds.
Cevher V, Chellappa R, McClellan JH.  2009.  Vehicle Speed Estimation Using Acoustic Wave Patterns. Signal Processing, IEEE Transactions on. 57(1):30-47.
Plaisant C, Bhamidipati P, Tarnoff P.  2001.  VEHICLE SPEED INFORMATION DISPLAYS FOR PUBLIC WEBSITES: A STUDY OF USER PREFERENCES. ITS 2001: Conference Proceedings.
Plaisant C, Bhamidipati P.  2000.  Vehicle Speed Information Displays for Public Websites A Survey of User Preferences. Technical Reports from UMIACS.
Rand W, Wilensky U.  2006.  Verification and Validation through Replication: A Case Study Using Axelrod and Hammond’s Ethnocentrism Model. North American Association for Computational Social and Organization Sciences (NAACSOS).
Elseaidy WM, Baugh JW, Cleaveland R.  1996.  Verification of an active control system using temporal process algebra. Engineering with computers. 12(1):46-61.
Swamy N, Hicks MW.  2008.  Verified enforcement of automaton-based information release policies. Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security. ACM Press.
Swamy N, Hicks MW, Tsang S.  2007.  Verified Enforcement of Security Policies for Cross-Domain Information Flows. IEEE Military Communications Conference, 2007. MILCOM 2007. :1-7.
Swamy N, Hicks MW.  2009.  Verified enforcement of stateful information release policies. SIGPLAN Not.. 43(12):21-31.
Elseaidy WM, Cleaveland R, Baugh JW.  1994.  Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
Goodrich MT, Nguyen D, Ohrimenko O, Papamanthou C, Tamassia R, Triandopoulos N, Lopes CVideira.  2012.  Verifying Search Results Over Web Collections. arXiv:1204.5446 [cs].
Feamster N, Balakrishnan H.  2004.  Verifying the Correctness of Wide-Area Internet Routing. MIT-CSAIL-TR-2004-031
Kim Y, Lee C H, Varshney A.  2006.  Vertex–transformation streams. Graphical Models. 68(4):371-383.
Raykar V C, Duraiswami R.  2006.  Very fast optimal bandwidth selection for univariate kernel density estimation. Technical Reports from UMIACS UMIACS-TR-2005-73.
Alam M, Sultana M, Nair GB, Siddique AK, Hasan NA, Sack RB, Sack DA, Ahmed KU, Sadique A, Watanabe H et al..  2007.  Viable but nonculturable Vibrio cholerae O1 in biofilms in the aquatic environment and their role in cholera transmission. Proceedings of the National Academy of Sciences. 104(45):17801-17801.
Binsztein N, Costagliola MC, Pichel M, Jurquiza V, Ramírez FC, Akselman R, Vacchino M, Huq A, Colwell RR.  2004.  Viable but Nonculturable Vibrio Cholerae O1 in the Aquatic Environment of Argentina. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 70(12):7481-7486.
Colwell RR.  2009.  Viable but not cultivable bacteria. Uncultivated Microorganisms. :121-129.
Mohapatra H, Mohapatra SS, Mantri CK, Colwell RR, Singh DV.  2008.  Vibrio cholerae non‐O1, non‐O139 strains isolated before 1992 from Varanasi, India are multiple drug resistant, contain intSXT, dfr18 and aadA5 genes. Environmental Microbiology. 10(4):866-873.
M. Wu, Yu H H.  2000.  Video access control via multi-level data hiding. Multimedia and Expo, 2000. ICME 2000. 2000 IEEE International Conference on. 1:381-384vol.1-381-384vol.1.
Karunanidhi A, Doermann D, Parekh N, Rautio V.  2002.  Video analysis applications for pervasive environments. 1st International Conference on Mobile and Ubiquitous Multimedia. :48-55.
Doermann D, Karunanidhi A.  2003.  Video Analysis for Pervasive Environments. ICME. 2:161-164.
Kale A, Chowdhury AKR, Chellappa R.  2003.  Video based rendering of planar dynamic scenes. Multimedia and Expo, 2003. ICME '03. Proceedings. 2003 International Conference on. 1:I-477-80vol.1-I-477-80vol.1.

Pages