WorldCat Identities

University of Massachusetts at Amherst Department of Computer and Information Science

Overview
Works: 491 works in 498 publications in 1 language and 612 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
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
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."
Report ( )
in English and held by 3 WorldCat member libraries worldwide
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 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
Learning and problem solving with multilayer connectionist systems by Charles W 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
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
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
Abstract: "Next generation, critical, hard real-time systems will require greater flexibility, dependability, and predictability than is commonly found in today's systems. These future systems include the space station, integrated vision/robotics/AI systems, collections of humans/robots coordinating to achieve common objectives (usually in hazardous environments such as undersea exploration or chemical plants), and various command and control applications. The Spring Kernel is an experimental and research oriented kernel designed to form the basis of a flexible, hard real-time operating system for such complex applications
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
Real-time transaction processing : design, implementation, and performance evaluation by Jiandong Huang( Book )
1 edition published in 1991 in English and held by 2 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
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
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."
Scheduling a sequence of parallel programs containing loops within a centralized parallel processing system by Zhen Liu( Book )
1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide
Stronger optimality results on the minimization of job response time are obtained for a simpler job model."
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."
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.73 (from 0.47 for Some learn ... to 1.00 for Artificial ...)
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 (22)