WorldCat Identities

University of Massachusetts at Amherst Department of Computer and Information Science

Overview
Works: 490 works in 498 publications in 1 language and 612 library holdings
Genres: Bibliography‡vCatalogs  Abstracts 
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
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
Distributed real-time computing : the next generation by John A Stankovic ( Book )
2 editions published in 1992 in English and held by 4 WorldCat member libraries worldwide
Abstract: "This paper presents the main issues facing next generation real-time distributed computing from a Computer Science perspective. In particular, the paper discusses scheduling, real-time kernels, communication and clock synchronization, architecture and fault tolerance, and artificial intelligence."
Report ( )
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
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
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
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
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 Harpreet S Sawhney ( Book )
1 edition published in 1992 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. The search for more flexible correctness criteria is partly motivated by the introduction of new transaction models that extend the traditional atomic transaction model. These extensions came about because the atomic transaction model in conjunction with serializability is found to be very constraining when applied in advanced applications, such as, design databases, that function in distributed, cooperative, and heterogeneous environments
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
Towards predictable transaction executions in real-time database systems by Patrick E O'Neil ( Book )
1 edition published in 1992 in English and held by 2 WorldCat member libraries worldwide
This approach exploits the access invariance property that many transactions possess or can be designed to possess. The execution path of a transaction with this property is unlikely to change as a result of data modifications by other concurrent transactions. In this approach, a transaction goes through two phases. In the first phase, called the prefetch phase, a transaction is run once, bringing the necessary data into main memory that is not memory already. No writes are performed in this phase and data conflicts with other transactions are not considered. The overall computational demands of the transaction are also determined during this phase. At the end of the prefetch phase, the system attempts to guarantee that the transaction will complete by its deadline
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."
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."
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."
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.70 (from 0.47 for Distribute ... 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 (23)