Publications

Export 7148 results:
[ Author(Desc)] 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
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.  1995.  Algebra and models (and reality). SIGSOFT Softw. Eng. Notes. 20(2):55-57.
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.
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.
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.
Zeman D, Resnik P.  2008.  Cross-language parser adaptation between related languages. NLP for Less Privileged Languages. :35-35.
Zha XF, Sriram RD, Gupta SK.  2005.  Information and Knowledge Modeling for Computer Supported Micro Electro-Mechanical Systems Design and Development.
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.
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.
Zhang N, Wang Q, Ehlinger A, Randles L, Lary JW, Kang Y, Haririnia A, Storaska AJ, Cole JL, Fushman D et al..  2009.  Structure of the S5a:K48-Linked Diubiquitin Complex and Its Interactions with Rpn13. Molecular Cell. 35(3):280-290.
Zhang D, Cleaveland R.  2005.  Fast generic model-checking for data-based systems. Formal Techniques for Networked and Distributed Systems-FORTE 2005. :83-97.
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 on-the-fly parametric real-time model checking. Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International. :10–pp-10–pp.
Zhang Z, JaJa JF, Bader DA, Kalluri SNV, Song H, El Saleous N, Vermote E, Townshend JRG.  2000.  Kronos: A software system for the processing and retrieval of large-scale AVHRR data sets. PE & RS- Photogrammetric Engineering and Remote Sensing. 66(9):1073-1082.

Pages