Publications

Export 7148 results:
[ Author(Asc)] Title 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 
Z
Zhang W, Abhayapala TD, Kennedy RA, Duraiswami R.  2010.  Insights into head-related transfer function: Spatial dimensionality and continuous representation. The Journal of the Acoustical Society of America. 127(4):2347-2357.
Zhang D, Cleaveland R.  2005.  Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
Zhang D, Cleaveland R.  2005.  Fast generic model-checking for data-based systems. Formal Techniques for Networked and Distributed Systems-FORTE 2005. :83-97.
Zhai K, Hu Y, Williamson S, Boyd-Graber J.  2012.  Modeling Images using Transformed Indian Buffet Processes. International Conference of Machine Learning.
Zhai K, Boyd-Graber J, Asadi N, Alkhouja M.  2012.  Mr. LDA: A Flexible Large Scale Topic Modeling Package using Variational Inference in MapReduce. Proceedings of ACM International Conference on World Wide Web, 2012.
Zhai K, Boyd-Graber J.  2013.  Online Latent Dirichlet Allocation with Infinite Vocabulary. International Conference on Machine Learning. PDF icon 2013_icml_infvoc.pdf (985.1 KB)
Zhai K, Boyd-Graber J, Asadi N.  2011.  Using Variational Inference and MapReduce to Scale Topic Modeling. arXiv:1107.3765.
Zha XF, Sriram RD, Gupta SK.  2005.  Information and Knowledge Modeling for Computer Supported Micro Electro-Mechanical Systems Design and Development.
Zeman D, Resnik P.  2008.  Cross-language parser adaptation between related languages. NLP for Less Privileged Languages. :35-35.
Zellner ML, Page SE, Rand W, Brown DG, Robinson DT, Nassauer J, Low B.  2009.  The emergence of zoning policy games in exurban jurisdictions: Informing collective action theory. Land Use Policy. 26(2):356-367.
Zellner ML, Riolo RL, Rand W, Brown DG, Page SE, Fernandez LE.  2010.  The problem with zoning: nonlinear effects of interactions between location preferences and externalities on land use and utility. Environment and Planning B: Planning and Design. 37(3):408-428.
Zellner ML, Riolo R, Rand W, Page SE, Brown DG, Fernandez LE.  2003.  The interaction between zoning regulations and residential preferences as a driver of urban form. Proceedings of the 2003 UTEP Distinguished Faculty and Student Symposium.
Zelkowitz MV.  1978.  Productivity measurement on software engineering projects. SIGSOFT Softw. Eng. Notes. 3(4):30-31.
Zelkowitz MV, Rus I.  2004.  Defect evolution in a product line environment. Journal of Systems and Software. 70(1–2):143-154.
Zelkowitz MV, Wallace DR.  1998.  Experimental models for validating technology. Computer. 31(5):23-31.
Zelkowitz MV.  1973.  Reversible execution. Commun. ACM. 16(9):566–-566–.
Zelkowitz MV.  1984.  A taxonomy of prototype designs. ACM SIGSOFT Software Engineering Notes. 9(5):11-12.
Zelkowitz MV, Cardenas S.  1991.  The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.
Zelkowitz MV.  1976.  Automatic program analysis and evaluation. Proceedings of the 2nd international conference on Software engineering. :158-163.
Zelkowitz MV, Wallace DR, Binkley DW.  2002.  Impediments to software engineering technology transfer. Journal of Systems and Software. Forthcoming.
Zelkowitz MV.  1987.  Selected reprints in software.
Zelkowitz MV.  2006.  A case study in rapid prototyping. Software: Practice and Experience. 10(12):1037-1042.
Zelkowitz MV.  1996.  Modeling software engineering environment capabilities. Journal of Systems and Software. 35(1):3-14.
Zelkowitz MV.  1979.  Surveyor's Forum: A Question of Transition. ACM Computing Surveys (CSUR). 11(4):411-412.
Zelkowitz MV.  1995.  Algebra and models (and reality). SIGSOFT Softw. Eng. Notes. 20(2):55-57.

Pages