Publications

Export 7148 results:
[ Author(Asc)] Title Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
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 
P
Prasad SK, Chtchelkanova A, Das S, Dehne F, Gouda M, Gupta A, JaJa JF, Kant K, La Salle A, LeBlanc R et al..  2011.  NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates. Proceedings of the 42nd ACM technical symposium on Computer science education. :617-618.
Prasad VSN, Davis LS, Tran S D, Elgammal A.  2006.  Edge affinity for pose-contour matching. Computer Vision and Image Understanding. 104(1):36-47.
Prasad VSN, Siddiquie B, Golbeck J, Davis LS.  2007.  Classifying Computer Generated Charts. Content-Based Multimedia Indexing, 2007. CBMI '07. International Workshop on. :85-92.
Pradhan S, Minker J.  1996.  Using priorities to combine knowledge bases. International Journal of Cooperative Information Systems. 5(2):333-333.
Pradhan S, Minker J, V.S. Subrahmanian.  1995.  Combining databases with prioritized information. Journal of Intelligent Information Systems. 4(3):231-260.
Pradhan S, Minker J.  1995.  Combining Datalog databases using priorities.
Prade H, V.S. Subrahmanian.  2007.  Scalable Uncertainty Management: First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007 : Proceedings.
Powers M, Lashley C, Sanchez P, Shneiderman B.  1984.  An experimental comparison of tabular and graphic data presentation. International Journal of Man-Machine Studies. 20(6):545-566.
Powell D, Cukier M, Arlat J.  1996.  On stratified sampling for high coverage estimations. Dependable Computing — EDCC-2. 1150:35-54.
Powell CE, Elman H.  2009.  Block-diagonal preconditioning for spectral stochastic finite-element systems. IMA Journal of Numerical Analysis. 29(2):350-350.
Potter RL, Weldon LJ, Shneiderman B.  1993.  Improving the accuracy of touchscreens: an experimental evaluation of three strategies. Sparks of innovation in human-computer interaction. :161-161.
Potter R, Berman M, Shneiderman B.  1989.  An experimental evaluation of three touch screen strategies within a hypertext database. International Journal of Human-Computer Interaction. 1(1):41-52.
Potter R, Shneiderman B.  1999.  Pixel Data Access for End-User Programming and Graphical Macros. Technical Reports from UMIACS.
Posenau M-AK, Mount D.  1992.  Delaunay triangulation and computational fluid dynamics meshes. Proceedings of the 4th Canadian Conference on Computational Geometry. :316-321.
Porter A, Selby RW.  1990.  Evaluating techniques for generating metric-based classification trees. Journal of Systems and Software. 12(3):209-218.
Porter A, Siy HP, Toman CA, Votta LG.  1997.  An experiment to assess the cost-benefits of code inspections in large scale software development. IEEE Transactions on Software Engineering. 23(6):329-346.
Porter A, Selby RW.  1990.  Empirically guided software development using metric-based classification trees. IEEE Software. 7(2):46-54.
Porter A, Votta LG, Basili VR.  1995.  Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering. 21(6):563-575.
Porter A, Votta LG.  1994.  An experiment to assess different defect detection methods for software requirements inspections. Proceedings of the 16th international conference on Software engineering. :103-112.
Porter A.  1993.  Using measurement-driven modeling to provide empirical feedback to software developers. Journal of Systems and Software. 20(3):237-243.
Porter A, Yilmaz C, Memon AM, Schmidt DC, Natarajan B.  2007.  Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. Software Engineering, IEEE Transactions on. 33(8):510-525.
Porter A, Johnson PM.  1997.  Assessing software review meetings: results of a comparative analysis of two experimental studies. IEEE Transactions on Software Engineering. 23(3):129-145.
Porter A.  1997.  Fundamental laws and assumptions of software maintenance. Empirical Software Engineering. 2(2):119-131.
Porter A, Votta L.  1998.  Comparing detection methods for software requirements inspections: A replication using professional subjects. Empirical Software Engineering. 3(4):355-379.
Porter A, Yilmaz C, Memon AM, Krishna AS, Schmidt DC, Gokhale A.  2006.  Techniques and processes for improving the quality and performance of open-source software. Software Process: Improvement and Practice. 11(2):163-176.

Pages