WorldCat Identities

University of Massachusetts at Amherst Department of Computer and Information Science

Overview
Works: 479 works in 498 publications in 1 language and 636 library holdings
Genres: Bibliography‡vCatalogs  Abstracts  Catalogs 
Classifications: Q334.5, 016.0063
Publication Timeline
Key
Publications about University of Massachusetts at Amherst Publications about University of Massachusetts at Amherst
Publications by University of Massachusetts at Amherst Publications by University of Massachusetts at Amherst
Most widely held works by University of Massachusetts at Amherst
COINS technical report by Mass.> University of Massachusetts. <Amherst ( )
in English and held by 6 WorldCat member libraries worldwide
A typology for constructing decisions by Adele Howe ( Book )
1 edition published in 1986 in English and held by 3 WorldCat member libraries worldwide
In search of acceptability criteria : database consistency requirements and transaction correctness properties by Krithi Ramamritham ( Book )
2 editions published between 1991 and 1992 in English and held by 3 WorldCat member libraries worldwide
Abstract: "Whereas serializability captures database consistency requirements and transaction correctness properties via a single notion, recent research has attempted to come up with correctness criteria that view these two types of requirements independently. In this paper, we develop a taxonomy of various correctness criteria that focus on database consistency requirements and transaction correctness properties from the viewpoint of what the different dimensions of these two are. This taxonomy allows us to categorize correctness criteria that have been proposed in the literature. To help in this categorization, we have applied a uniform specification technique, based on ACTA, to express the various criteria
Spatial and temporal grouping in the interpretation of image motion by Harpreet S Sawhney ( Book )
1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide
Learning and problem solving with multilayer connectionist systems by Charles William Anderson ( Book )
1 edition published in 1986 in English and held by 3 WorldCat member libraries worldwide
Dynamic image interpretation for autonomous vehicle navigation 1987 end of year report by Edward M Riseman ( Book )
2 editions published in 1988 in English and held by 3 WorldCat member libraries worldwide
Progress in computer vision at the University of Massachusetts by Allen R Hanson ( Book )
3 editions published between 1989 and 1992 in English and held by 3 WorldCat member libraries worldwide
Abstract: "This report summarizes progress in image understanding research at the University of Massachusetts over the past year. Many of the individual efforts discussed in this paper are further developed in other papers in this proceedings. The summary is organized into several areas: 1. Mobile Robot Navigation 2. Image Sequence Processing 3. Interpretation of Static Scenes 4. Image Understanding Architecture The research program in computer vision at UMass has as one of its goals the integration of a diverse set of research efforts into a system that is ultimately intended to achieve real-time image interpretation in a variety of vision applications."
Survey of deadlock detection in distributed concurrent programming environments and its application to real-time systems by University of Massachusetts at Amherst ( Book )
2 editions published between 1990 and 1991 in English and held by 3 WorldCat member libraries worldwide
Related problems, such as livelocks, orphan tasks, task termination problems, and global state detection, are considered when it is appropriate. This paper has two main parts. First, we complete a state- of-the-art survey of the distributed deadlock detection algorithms proposed in the literature. The survey work includes: (1) graph theory, (2) distributed concurrent programming systems, (3) deadlock models, and (4) distributed deadlock detection and resolution algorithms. Second, we extend the deadlock problems into real-time systems and develop solutions for them. In particular, the solutions are developed with the applications to the Ada environment in mind
Automated constrained expression analysis of real-time software ( Book )
1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide
Abstract: "The constrained expression formalism, its associated analysis techniques, and the prototype toolset automating their use, were originally developed for describing and analyzing logical properties of concurrent software system behavior. We have recently begun exploring their application to analyzing some of the timing properties that are central to the correctness of real-time software systems. By extending the formalism slightly and modifying parts of the toolset we are now able to carry out an automated derivation of an upper bound on the time that can elapse between the occurrences of any two designated events in a concurrent system's behavior
Some learning tasks from a control perspective by Andrew Gehret Barto ( Book )
1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide
Symmetry groups in robotic assembly planning by Yanxi Liu ( Book )
1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide
Report ( )
in English and held by 3 WorldCat member libraries worldwide
Real-time learning and control using asynchronous dynamic programming by Andrew Gehret Barto ( Book )
1 edition published in 1991 in English and held by 3 WorldCat member libraries worldwide
We also discuss Watkins' Q-Learning algorithm in light of asynchronous DP, as well as some of the methods included in Sutton's Dyna architecture. We provide an account that is more complete than currently available of what is formally known, and what is not formally known, about the behavior of DP-based learning algorithms. A secondary aim is to provide a bridge between AI research on real-time planning and learning and relevant concepts and algorithms from control theory."
Experimental evaluation of real-time optimistic concurrency control schemes ( Book )
1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide
Through experiments, we investige, in depth, the effect of the locking mechanism on the performance of optimistic concurrency control protocols. We show that due to blocking, the performance of the protocols is sensitive to priority inversions but not to resource utilization. Further, in contrast to recent simulation studies, our experimental results show that with respect to meeting transaction deadlines, the optimistic approach may not always outperform the two-phase locking scheme which aborts the lower priority transaction to resolve a conflict. We also show that integrated with a weighted priority scheduling algorithm, optimistic concurrency control exhibits greater flexibility in coping with the starvation problem (for longer transactions) than two-phase locking
Multivariate versus univariate decision trees by Carla E Brodley ( Book )
1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide
Abstract: "In this paper we present a new multivariate decision tree algorithm LMDT, which combines linear machines with decision trees. LMDT constructs each test in a decision tree by training a linear machine and then eliminating irrelevant and noisy variables in a controlled manner. To examine LMDT's ability to find good generalizations we present results for a variety of domains. We compare LMDT empirically to a univariate decision tree algorithm and observe that when multivariate tests are the appropriate bias for a given data set, LMDT finds small accurate trees."
Progress report on the theory of endorsements: a heuristic approach to reasoning about uncertainty by University of Massachusetts at Amherst ( Book )
2 editions published in 1984 in English and held by 2 WorldCat member libraries worldwide
The Spring Kernel : a new paradigm for next generation real- time systems by John A Stankovic ( Book )
1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide
Our research approach challenges several basic assumptions upon which most current real-time operating systems are built and subsequently advocates a new paradigm based on the notion of application level predictability supported by a kernel which is both predictable and contains a method for on-line dynamic guarantee of deadlines. The purpose of this paper is to provide an overview of the major ideas of this new paradigm and show how the Kernel incorporates these ideas. The Spring Kernel is being implemented in stages on a network of 68020 and 68030 based multiprocessors called SpringNet. Experiences with a preliminary version of the Kernel are also presented."
Stochastic scheduling in in-forest networks by Zhen Liu ( Book )
1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide
In the case of non-preemptive queues, service times may be generally distributed provided there is only one server; otherwise the service times are required to be increasing in likelihood ratio (ILR). In the case of preemptive queues, service times are restricted to be exponentially distributed random variables. Using stochastic majorization, we establish that, within the class of work conserving service policies, the smallest due date (SDD) and largest due date (LDD) policies minimize and maximize, respectively, the vector of the customer latenesses of the first n customers in the sense of the Schur-convex order
Fusing structure by Kalman filtering by J. Inigo Thomas ( Book )
1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide
This paper describes a step by step understanding of the working of the Kalman filter as applied to a set of tasks, beginning from a very simple fusion, and ending in a more complex task of fusing structure obtained from known motion parameters."
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.70 (from 0.47 for Real-time ... to 1.00 for Dynamic im ...)
Alternative Names

controlled identity University of Massachusetts at Amherst

COINS
University of Massachusetts at Amherst. Computer and Information Science
University of Massachusetts at Amherst. Computer and Information Science Department
University of Massachusetts at Amherst. Dept. of Computer and Information Science
Languages
English (27)