WorldCat Identities

University of Massachusetts at Amherst Department of Computer and Information Science

Overview
Works: 291 works in 296 publications in 1 language and 393 library holdings
Genres: Bibliography‡vCatalogs  Abstracts 
Classifications: Q334.5, 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 6 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

Automated constrained expression analysis of real-time software( Book )

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

In this paper, we give a brief overview of our constrained expression formalism, analysis techniques and toolset, and then describe the modifications required to apply them to the analysis of timing properties. To illustrate the potential utility of our approach, we present an example analysis of a real-time problem carried out using the toolset. Finally, we discuss additional steps that may lead to increased capabilities for analyzing real-time software using constrained expression techniques."
A typology for constructing decisions by Adele Howe( Book )

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

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

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

Abstract: "Learning methods based on dynamic programming (DP) are receiving increasing attention in artificial intelligence. Researchers have argued that DP provides the appropriate basis for compiling planning results into reactive strategies for real-time control, as well as for learning such strategies when the system being controlled is incompletely known. We extend the existing theory of DP-based learning algorithms by bringing to bear on their analysis a collection of relevant mathematical results from the theory of asynchronous DP. We present convergence results for a class of DP-based algorithms for real-time learning and control which generalizes Korf's Learning-Real-Time-A* (LRTA*) algorithm to problems involving uncertainty
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

Report( )

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

The invisible hand : how evaluation guides AI research by Paul R Cohen( Book )

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

Abstract: "Evaluation should be a mechanism of progress both within and across AI research projects. For the individual, evaluation can tell us how and why our methods and programs work, and so tell us how our research should proceed. For the community, evaluation expedites understanding of available mehtods and so their integration into further research. In this paper, we present a five stage model of AI research and describe guidelines for evaluation that are appropriate for each stage. The guidelines, in the form of evaluation criteria and techniques, suggest how to perform evaluation. We conclude with a set of recommendations that suggest how to encourage evaluation of AI research."
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

Abstract: "In this paper we study the extremal properties of several scheduling policies in a queueing network consisting of multi- server queues where the topology is that of an in-forest. Associated with each customer is a due date. We assume that service times at the different queues form mutually independent sequences of independent and identically distributed random variables independent of the arrival times and due dates. Furthermore, the network is assumed to consist of a mixture of nodes, some of which only permit non-preemptive service policies whereas the others permit preemptive resume policies
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."
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."
Incorporating motion error in multi-frame structure from motion by J. Inigo Thomas( Book )

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

Abstract: "Recovering structure from motion even using information from multiple image frames is a difficult problem. One of the the [sic] most important difficulties is that errors in determining the motion can introduce large, correlated errors in the structure values. It is argued that previous algorithms for recursively recovering structure from multiple frames have not dealt with this problem, and a detailed strategy for dealing with it is proposed. An algorithm incorporating this strategy has achieved encouraging results on real images and synthetic data. For this work, the camera is assumed to navigate in a fixed environment, and the correspondences of individual tracked points are assumed to be given
Multivariate decision trees by Carla E Brodley( Book )

1 edition published in 1992 in English and held by 2 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."
Learning and sequential decision making by Andrew Gehret Barto( Book )

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

Real-time operating systems by John A Stankovic( Book )

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

This, of course, does not mean that there is no way to achieve predictability with these operating systems. It is possible to achieve predictability by very careful design, by using a very limited subset of the overall features provided, and by proving that the features being used for predictability cannot in any way be impacted by any other part of the system. Finally, research kernels are attempting to provide greater design, implementation and evaluation support together with predictability for both the operating system and the application."
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 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.60 for Artificial ... to 0.83 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 (21)