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  Abstracts  Catalogs  Conference papers and proceedings 
Classifications: LB2301, 016.0063
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

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
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

Multivariate decision trees by Carla E Brodley( Book )

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

Abstract: "Multivariate decision trees overcome a representational limitation of univariate decision trees: univariate decision trees are restricted to splits of the instance space that are orthogonal to the feature's axis. This paper discusses the following issues for constructing multivariate decision trees: representing a multivariate test, including symbolic and numeric features, learning the coefficients of a multivariate test, selecting the features to include in a test, and pruning of multivariate decision trees. We present some new and review some well-known methods for forming multivariate decision trees. The methods are compared across a variety of learning tasks to assess each method's ability to find concise, accurate decision trees. The results demonstrate that some multivariate methods are more effective than others. In addition, the experiments confirm that allowing multivariate tests improves the accuracy of the resulting decision tree over univariate trees."
Connectionist modeling and control of finite state environments by Jonathan Richard Bachrach( Book )

1 edition published in 1992 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
Spatial and temporal grouping in the interpretation of image motion by Harprest Sawhney( Book )

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

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 John Brian Burns( Book )

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

Report by Committee on Institutional Cooperation( )

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

Also, we analyze and categorize the deadlock problem in Ada environments into four levels of complexity by using Knapp's hierarchy of deadlock models. To fully support Ada semantics it is necessary to develop solutions for the most complex level. Many Ada applications, however, do not utilize all the features that Ada provides. Consequently, according to the characteristics of an application, the deadlock problem may be simplified by imposing certain restrictions on the use of Ada. We develop a series of solutions depending on the level of restriction imposed on the use of Ada and we relate those solutions to the levels of complexity associated with the theoretical models. Two algorithms related to the first two levels of complexity are presented in this paper."
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

A typology for constructing decisions by Adele Howe( Book )

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

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

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
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

Our performance studies indicate that the physical implementation has a significant impact on the performance of real-time concurrency control protocols and is hence an important aspect in the study of concurrency control."
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

The second part describes the individual components of NEVOT and compares alternate implementations. An appendix covers the installation of NEVOT."
An endorsement-based plan recognition program by Michael Sullivan( Book )

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

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.72 (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)