WorldCat Identities

University of Massachusetts at Amherst Department of Computer and Information Science

Overview
Works: 474 works in 498 publications in 1 language and 603 library holdings
Genres: Periodicals  Bibliography‡vCatalogs  Bibliography  Abstracts  Catalogs  Conference papers and proceedings  Directories 
Classifications: Q11, 507
Publication Timeline
.
Most widely held works by University of Massachusetts at Amherst
COINS technical report by Mass.> University of Massachusetts. <Amherst( )

in English and held by 7 WorldCat member libraries worldwide

Artificial intelligence and brain theory technical report series. catalogue( Book )

1 edition published in 1986 in English and held by 5 WorldCat member libraries worldwide

Dynamic image interpretation for autonomous vehicle navigation : 1987 end of year report by Edward M Riseman( Book )

3 editions published between 1988 and 1989 in English and held by 5 WorldCat member libraries worldwide

This report presents the results of the project on Dynamic Image Interpretation for Autonomous Land Vehicle (ALV) Navigation for the time period 2/26/87--2/25/88. The purpose of the ALV project is to develop algorithms and tools to enable a vehicle to navigate autonomously through realistic landscapes. Contents: Visual Motion Analysis- Computation of the Optical Flow Field; The Recovery of Environmental Motion and Structure from a Mobile Vehicle; Alternatives to General Motion Analysis; Stereoscopic Motion Analysis; Analysis of Constant General Motion; Token-Based Approaches to Motion and Perceptual Organization; Mobile Vehicle Navigation; Perceptual Organization (Grouping)- The Perceptual Organization of Image Curves; Extracting Geometric Structure; Database Support for Symbolic Vision Processing- ISR1, ISR2, Generic Views and Indexing
Multivariate versus univariate decision trees by Carla E Brodley( Book )

2 editions published in 1992 in English and held by 4 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."
A typology for constructing decisions by Adele Howe( Book )

1 edition published in 1986 in English and held by 3 WorldCat member libraries worldwide

Connectionist modeling and control of finite state environments by Jonathan Bachrach( Book )

1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide

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
Real-time transaction processing : design, implementation, and performance evaluation by University of Massachusetts at Amherst( Book )

2 editions published between 1990 and 1991 in English and held by 3 WorldCat member libraries worldwide

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
Real-time learning and control using asynchronous dynamic programming by Andrew G 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."
Matching 2D images to multiple 3D objects using view description networks by J. Brian Burns( Book )

1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide

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

Report by National Research Council (U.S.)( )

in English and held by 3 WorldCat member libraries worldwide

Some learning tasks from a control perspective by Andrew G Barto( Book )

1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide

Stochastic scheduling in in-forest networks by Z 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."
An endorsement-based plan recognition program by University of Massachusetts at Amherst( Book )

2 editions published in 1984 in English and held by 2 WorldCat member libraries worldwide

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

Abstract: "Owing to its potential for a high degree of parallelism, optimistic concurrency control is expected to perform better than two-phase locking when integrated with priority-driven CPU scheduling in real-time database systems. In this paper, we examine the overall effects and the impact of the overheads involved in implementing real-time optimistic concurrency control. Using a locking mechanism to ensure the correctness of the implementation, we develop a set of optimistic concurrency control protocols which possess the properties of deadlock freedom and a high degree of parallelism
Voice communication across the Internet : a network voice terminal by Henning Schulzrinne( Book )

1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide

Abstract: "Voice conferencing has attracted interest as a useful and viable first real-time application on the Internet. This report describes NEVOT a network voice terminal meant to support multiple concurrent both two-party and multi-party conferences on top of a variety of transport protocols and using audio encodings offering from vocoder to multi-channel CD quality. As it is to be used as an experimental tool, it offers extensive configuration, trace and statistics options. The design is kept modular so that additional audio encodings, transport and real- time protocols as well as user interfaces can be added readily. In the first part, the report describes the X-based graphical user interface, the configuration and operation
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.43 for Voice comm ... to 0.84 for COINS tech ...)

Alternative Names

controlled identityUniversity 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 (26)