College of Natural Sciences
Computer Science Department Homepage Colorado State University Home Page
Home Search By Author By Title By Year

Viewing All Titles Starting with 'U'

View All | Publications Per Page:
| 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 |
[First] | [Prev] | Showing page 1 of 3 pages | [Next] | [Last]

"Understanding Planner Behavior," 1995.
    Adele Howe and Paul Cohen
    Appeared in (journal): Artificial Intelligence, Special Issue on Planning Systems, Volume 76(1-2), Page(s) 125-166

    Available at: Howe-howe-papers-aij-hard.ps.gz (ps)

"Using Web Helper Agent Profiles in Query Generation," 2003.
"Unsupervised Learning of Biologically Plausible Object Recognition Strategies," 2000.
"Using Multisensor Occlusion Reasoning in Object Recognition," 1997.
"Using Temporal Neighborhoods to Adapt Function Approximators in Reinforcement Learning," 1999.
"Using Temporal Neighborhoods to Adapt Function Approximators in Reinforcement Learning," 1999.
"Using Neural Networks for Approximate Radiosity Form Factor Computation," 1996.
"Understanding change-proneness in OO software through visualization," 2003.
    J. Bieman, A. Andrews, and H. Yang
    Appeared in (conference): International Workshop on Program Comprehension (IWPC 2003), Page(s) 44-53

    Available at: Bieman-bieman-Pubs-iwpc2003.pdf (pdf)

"Using Alloy and UML/OCL to specify run-time configuration management: a case study," 2001.
"Using design abstractions to visualize, quantify, and restructure software," 1998.
"Using fault injection to increase software test coverage," 1996.
    J. Bieman, D. Dreilinger and L. Lin
    Appeared in (conference): International Symposium on Software Reliability Engineering, Page(s) 166-174

    Available at: Bieman-bieman-Pubs-issre96preprint.pdf (pdf)

"Using design cohesion to visualize, quantify, and restructure software," 1996.
    B-K. Kang and J. Bieman
    Appeared in (conference): 8th International Conference on Software Engineering and Knowledge Engineering (SEKE), Page(s) 222-229

    Available at: Kang-bieman-Pubs-seke96.pdf (pdf)

"Using algebraic specifications to find sequencing defects," 1993.
"Using Integrated and Formal Modeling Techniques To Analyze Software Requirements: A Case Study," 1997.
"Understanding the Role of Formal Specification Techniques in Requirements Engineering," 1995.
    R. B. France and M. M. Larrondo-Petrie
    Publisher: Springer-Verlag
    Appeared in (conference): Conference on Software Engineering Education
"Using Middleware Based Aspects in Software Development," 2005.
    S. Ghosh
    Appeared in (journal): IEEE Software (submitted)
"Using Roles to Characterize Model Families," 2003.
    R. B. France, D. K. Kim, E. Song, and S. Ghosh
    Editor(s): Haim Kilov
    Publisher: Kluwer Academic Publishers
    Appeared in (book): Practical foundations of business and system specifications
"Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development," 2005.
    A. Solberg, D. Simmonds, R. Reddy, S. Ghosh, and R. France
    Appeared in (conference): 29th Annual International Computer Software and Applications Conference
"Using Subject-Oriented Modeling to Develop Jini Applications," 2004.
    G. Tandon and S. Ghosh
    Appeared in (conference): 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC), Page(s) 111-122
"Using Role-Based Modeling Language (RBML) as Precise Characterizations of Model Families," 2002.
    D. K. Kim, R. B. France, S. Ghosh, and E. Song
    Appeared in (conference): 8th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2002)
View All | Publications Per Page:
| 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 |
[First] | [Prev] | Showing page 1 of 3 pages | [Next] | [Last]



Colorado State University, Fort Collins, CO 80523 USA
© 2004 Colorado State University
Last modified on Thursday, August 5, 2004, 2:22 PM