Searching for authors named "Robert Moll" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
O(N³) Algorithm for Bisimulation Equivalence w.r.t CTL* without the Next-Time Operator between Kripke Structures
- … between Kripke Structures Mahesh Girkar Robert Moll Department of Computer Science University…
- Add To MetaCart
-
A Specification-Based Approach to Concurrency Analysis
- … Robert Moll University of Massachusetts, Amherst Abstract The behavior of a concurrent program often…
- Cited by 1 (0 self) – Add To MetaCart
-
A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers
- …-mail: buy@(email omitted); Robert Moll Department of Computer and Information Science University…
- Cited by 2 (1 self) – Add To MetaCart
-
Liveness Analysis and the Automatic Generation of Concurrent Programs
- … and the Automatic Generation of Concurrent Programs UGO BUY AND ROBERT MOLL 1. Introduction and Background…
- Cited by 1 (1 self) – Add To MetaCart
-
Designing an Arabic User Experience: Methods and Techniques to Bridge Cultures
- …@(email omitted); Robert Moll Pathfinder Associates, LLC 55 East Washington Boulevard Suite 1540 Chicago, IL 60602 rmoll…
- Add To MetaCart
-
Efficient and Robust Computation of an Approximated Medial Axis
- …Efficient and Robust Computation of an Approximated Medial Axis Yuandong Yang Oliver Brock Robert…
- Cited by 4 (1 self) – Add To MetaCart
-
Machine Learning for Subproblem Selection
- …Machine Learning for Subproblem Selection Robert Moll moll@(email omitted); Theodore J. Perkins…
- Cited by 3 (0 self) – Add To MetaCart
-
An Introduction to Formal Language Theory
- …AN INTRODUCTION TO FORMAL LANGUAGE THEORY Robert N. Moll, Michael A. Arbib, and A. J. Kfoury…
- Cited by 7 (0 self) – Add To MetaCart
-
Using Weighted Bipartite Matching to Solve the General 3-D Rigid Motion Problem
- …, Yong-Qing Cheng, Robert T. Collins, Allen R. Hanson, Richard Weiss, and Robert Moll Department…
- Cited by 2 (2 self) – Add To MetaCart
-
Learning Instance-Independent Value Functions to Enhance Local Search
- …Learning Instance-Independent Value Functions to Enhance Local Search Robert Moll Andrew G. Barto…
- Add To MetaCart
Showing 1 through 10.
