Results 1 - 10 of 3,808

OBDD-based planning with real-valued variables in non-deterministic environments

by A. Goel, K. S. Barber - In AAAI , 1999
"... Planning for highly dynamic and uncertain real-world domains is difficult using current planning tools. These domains may be characterized by non-deterministic actions and the need to represent large real-valued state spaces. Classical planning considers only deterministic domains and sidesteps the ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
the issue of non-determinism. Real-valued variables are handled by requiring domains to either represent real variables as relative booleans (e.g. using on-table or on-block in the classical blocks world), or to explicitly enumerate each possible value for a real variable (e.g. using at11, at12, at21, at22

Automatic Symbolic Verification of Embedded Systems

by Rajeev Alur , Thomas A. Henzinger , Pei-hsin Ho , 1996
"... We present a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as Hybrid Automata -- communicating machines with finite control and real-valued variables that represent continuous environment parameters such as tim ..."
Abstract - Cited by 330 (24 self) - Add to MetaCart
We present a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as Hybrid Automata -- communicating machines with finite control and real-valued variables that represent continuous environment parameters

Symbolic Model Checking for Real-time Systems

by Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - INFORMATION AND COMPUTATION , 1992
"... We describe finite-state programs over real-numbered time in a guarded-command language with real-valued clocks or, equivalently, as finite automata with real-valued clocks. Model checking answers the question which states of a real-time program satisfy a branching-time specification (given in an ..."
Abstract - Cited by 578 (50 self) - Add to MetaCart
We describe finite-state programs over real-numbered time in a guarded-command language with real-valued clocks or, equivalently, as finite automata with real-valued clocks. Model checking answers the question which states of a real-time program satisfy a branching-time specification (given

A theory of timed automata

by Rajeev Alur , 1999
"... Model checking is emerging as a practical tool for automated debugging of complex reactive systems such as embedded controllers and network protocols (see [23] for a survey). Traditional techniques for model checking do not admit an explicit modeling of time, and are thus, unsuitable for analysis of ..."
Abstract - Cited by 2651 (32 self) - Add to MetaCart
using finitely many real-valued clock variables. Automated analysis of timed automata relies on the construction of a finite quotient of the infinite space of clock valuations. Over the years, the formalism has been extensively studied leading to many results establishing connections to circuits

UPPAAL in a Nutshell

by Kim G. Larsen, Paul Pettersson, Wang Yi , 1997
"... . This paper presents the overall structure, the design criteria, and the main features of the tool box Uppaal. It gives a detailed user guide which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, ..."
Abstract - Cited by 662 (51 self) - Add to MetaCart
and verification of real-time systems, based on constraint--solving and on-the-fly techniques, developed jointly by Uppsala University and Aalborg University. It is appropriate for systems that can be modeled as a collection of nondeterministic processes with finite control structure and real-valued clocks

Determinants of Economic Growth: A Cross-Country Empirical Study

by Robert J. Barro , 1996
"... Empirical findings for a panel of around 100 countries from 1960 to 1990 strongly support the general notion of conditional convergence. For a given starting level of real per capita GDP, the growth rate is enhanced by higher initial schooling and life expectancy, lower fertility, lower government c ..."
Abstract - Cited by 892 (12 self) - Add to MetaCart
consumption, better maintenance of the rule of law, lower inflation, and improvements in the terms of trade. For given values of these and other variables, growth is negatively related to the initial level of real per capita GDP. Political freedom has only a weak effect on growth but there is some indication

Warmup: Gaussian distributions

by Christian Igel, Christian Igel, Linear Regression, Discrimination Recall, Gaussian Distribution , 2009
"... Gaussian distribution of a single real-valued variable with mean µ ∈ R and variance σ2: N(x |µ,σ 2) = 1 √ exp − ..."
Abstract - Add to MetaCart
Gaussian distribution of a single real-valued variable with mean µ ∈ R and variance σ2: N(x |µ,σ 2) = 1 √ exp −

Linear Regression Sum-of-squares Error Solution Using Pseudo-Inverse Linear Discriminant Analysis

by Christian Igel, Christian Igel, Linear Regression, Discrimination Recall, Gaussian Distribution , 2010
"... Gaussian distribution of a single real-valued variable with mean µ ∈ R and variance σ2: N(x|µ,σ 2) = 1 √ exp − ..."
Abstract - Add to MetaCart
Gaussian distribution of a single real-valued variable with mean µ ∈ R and variance σ2: N(x|µ,σ 2) = 1 √ exp −

Motivation through the Design of Work: Test of a Theory. Organizational Behavior and Human Performance,

by ] Richard Hackman , Grec R Oldham , 1976
"... A model is proposed that specifies the conditions under which individuals will become internally motivated to perform effectively on their jobs. The model focuses on the interaction among three classes of variables: (a) the psychological states of employees that must be present for internally motiv ..."
Abstract - Cited by 622 (2 self) - Add to MetaCart
A model is proposed that specifies the conditions under which individuals will become internally motivated to perform effectively on their jobs. The model focuses on the interaction among three classes of variables: (a) the psychological states of employees that must be present for internally

PAMPAS: Real-Valued Graphical Models for Computer Vision

by M Isard , 2003
"... Probabilistic models have been adopted for many computer vision applications, however inference in highdimensional spaces remains problematic. As the statespace of a model grows, the dependencies between the dimensions lead to an exponential growth in computation when performing inference. Many comm ..."
Abstract - Cited by 121 (3 self) - Add to MetaCart
is sparsely connected, belief propagation algorithms can turn an exponential inference computation into one which is linear in the size of the graph. However belief propagation is only applicable when the variables in the nodes are discrete-valued or jointly represented by a single multivariate Gaussian
Results 1 - 10 of 3,808