Results 1 - 10 of 5,465

A Model-based Approach to Reactive Self-Configuring Systems

by Brian C. Williams, P. Pandurang Nayak, Urang Nayak - In Proceedings of AAAI-96 , 1996
"... This paper describes Livingstone, an implemented kernel for a model-based reactive self-configuring autonomous system. It presents a formal characterization of Livingstone's representation formalism, and reports on our experience with the implementation in a variety of domains. Livingstone prov ..."
Abstract - Cited by 245 (43 self) - Add to MetaCart
provides a reactive system that performs significant deduction in the sense/response loop by drawing on our past experience at building fast propositional conflict-based algorithms for model-based diagnosis, and by framing a model-based configuration manager as a propositional feedback controller

Requirements Specification for Process-Control Systems

by Nancy G. Leveson, Mats P.E. Heimdahl, Holly Hildreth, Jon D. Reese , 1994
"... This paper describes an approach to writing requirements specifications for processcontrol systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision avoidance system (TCAS II). The example specifi ..."
Abstract - Cited by 256 (34 self) - Add to MetaCart
specification demonstrates (1) the practicality of writing a formal requirements specification for a complex, process-control system and (2) the feasibility of building a formal model of a system using a specification language that is readable and reviewable by applications experts who are not computer

A Reverse Engineering Approach To Subsystem Structure Identification

by Hausi A. Müller, Mehmet A. Orgun, Scott R. Tilley, James S. Uhl , 1993
"... ... This paper describes our approach to creating higher-level abstract representations of a subject system, which involves the identification of related components and dependencies, the construction of layered subsystem structures, and the computation of exact interfaces among subsystems. We showho ..."
Abstract - Cited by 127 (6 self) - Add to MetaCart
showhow top-down decompositions of a subject system can be (re)constructed via bottom-up subsystem composition. This process involves identifying groups of building blocks (e.g., variables, procedures, modules, and subsystems) using composition operations based on software engineering principles

Social Vulnerability to Environmental Hazards

by Susan L. Cutter - Social Science Quarterly
"... For over 50 years, hazards researchers have focused on a series of fundamental ques-tions: 1) what is the human occupancy of hazard zones? 2) How do people and societies respond to environmental hazards and what factors influence their choice of adjust-ments? 3) How do you mitigate the risk and impa ..."
Abstract - Cited by 269 (4 self) - Add to MetaCart
vulnerability to hazards or disaster events. Yet, vulnerability now forms the cornerstone of international efforts aimed at reversing the poverty, population, development and environmental degradation downwards spiral. This developmental-based approach to vulnerability reduction is best seen in Cuny’s (1983

Multi-Level Direction of Autonomous Creatures for Real-Time Virtual Environments

by Bruce Blumberg, Tinsley A. Galyean , 1995
"... There have been several recent efforts to build behavior-based autonomous creatures. While competent autonomous action is highly desirable, there is an important need to integrate autonomy with "directability". In this paper we discuss the problem of building autonomous animated creatures ..."
Abstract - Cited by 252 (13 self) - Add to MetaCart
architecture and a general behavioral model for perception and action-selection which incorporates explicit support for multi-level direction. These ideas have been implemented and used to develop several autonomous animated creatures. 1. INTRODUCTION Since Reynold's seminal paper in 1987, there have

Reverse engineering of regulatory networks in human B cells.

by Katia Basso , Adam A Margolin , Gustavo Stolovitzky , Ulf Klein , Riccardo Dalla-Favera , Andrea Califano - Nat. Genet. , 2005
"... Cellular phenotypes are determined by the differential activity of networks linking coregulated genes. Available methods for the reverse engineering of such networks from genome-wide expression profiles have been successful only in the analysis of lower eukaryotes with simple genomes. Using a new m ..."
Abstract - Cited by 178 (2 self) - Add to MetaCart
categories: optimization methods 5-7 , which maximize a scoring function over alternative network models; regression techniques Here we present the successful reverse engineering of geneexpression profile data from human B cells. Our study is based on ARACNe (algorithm for the reconstruction of accurate

HadoopDB: An Architectural Hybrid of MapReduce and DBMS Technologies for Analytical Workloads

by Azza Abouzeid, Kamil Bajda-pawlikowski, Daniel Abadi, Avi Silberschatz, Er Rasin
"... The production environment for analytical data management applications is rapidly changing. Many enterprises are shifting away from deploying their analytical databases on high-end proprietary machines, and moving towards cheaper, lower-end, commodity hardware, typically arranged in a shared-nothing ..."
Abstract - Cited by 180 (7 self) - Add to MetaCart
are better suited due to their superior scalability, fault tolerance, and flexibility to handle unstructured data. In this paper, we explore the feasibility of building a hybrid system that takes the best features from both technologies; the prototype we built approaches parallel databases in performance

A biologically inspired system for action recognition

by H. Jhuang, T. Serre, L. Wolf, T. Poggio - In ICCV , 2007
"... We present a biologically-motivated system for the recognition of actions from video sequences. The approach builds on recent work on object recognition based on hierarchical feedforward architectures [25, 16, 20] and extends a neurobiological model of motion processing in the visual cortex [10]. Th ..."
Abstract - Cited by 238 (15 self) - Add to MetaCart
We present a biologically-motivated system for the recognition of actions from video sequences. The approach builds on recent work on object recognition based on hierarchical feedforward architectures [25, 16, 20] and extends a neurobiological model of motion processing in the visual cortex [10

A Methodology and Modelling Technique for Systems of BDI Agents

by David Kinny, Michael Georgeff, Anand Rao , 1996
"... The construction of large-scale embedded software systems demands the use of design methodologies and modelling techniques that support abstraction, inheritance, modularity, and other mechanisms for reducing complexity and preventing error. If multi-agent systems are to become widely accepted as a b ..."
Abstract - Cited by 218 (6 self) - Add to MetaCart
and engineers rather than researchers. In this paper we describe an agent-oriented methodology and modelling technique for systems of agents based upon the Belief-Desire-Intention (BDI) paradigm. Our models extend existing Object-Oriented (OO) models. By building upon and adapting existing, well

Estimating Software Project Effort Using Analogies

by Chris Schofield - IEEE Transactions on Software Engineering , 1997
"... Abstract—Accurate project effort prediction is an important goal for the software engineering community. To date most work has focused upon building algorithmic models of effort, for example COCOMO. These can be calibrated to local environments. We describe an alternative approach to estimation base ..."
Abstract - Cited by 237 (11 self) - Add to MetaCart
Abstract—Accurate project effort prediction is an important goal for the software engineering community. To date most work has focused upon building algorithmic models of effort, for example COCOMO. These can be calibrated to local environments. We describe an alternative approach to estimation
Results 1 - 10 of 5,465