Results 1  10
of
3,808
OBDDbased planning with realvalued variables in nondeterministic environments
 In AAAI
, 1999
"... Planning for highly dynamic and uncertain realworld domains is difficult using current planning tools. These domains may be characterized by nondeterministic actions and the need to represent large realvalued state spaces. Classical planning considers only deterministic domains and sidesteps the ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
the issue of nondeterminism. Realvalued variables are handled by requiring domains to either represent real variables as relative booleans (e.g. using ontable or onblock 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
, 1996
"... We present a modelchecking 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 realvalued variables that represent continuous environment parameters such as tim ..."
Abstract

Cited by 330 (24 self)
 Add to MetaCart
We present a modelchecking 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 realvalued variables that represent continuous environment parameters
Symbolic Model Checking for Realtime Systems
 INFORMATION AND COMPUTATION
, 1992
"... We describe finitestate programs over realnumbered time in a guardedcommand language with realvalued clocks or, equivalently, as finite automata with realvalued clocks. Model checking answers the question which states of a realtime program satisfy a branchingtime specification (given in an ..."
Abstract

Cited by 578 (50 self)
 Add to MetaCart
We describe finitestate programs over realnumbered time in a guardedcommand language with realvalued clocks or, equivalently, as finite automata with realvalued clocks. Model checking answers the question which states of a realtime program satisfy a branchingtime specification (given
A theory of timed automata
, 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 realvalued 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
, 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 realtime system, to simulate its dynamical behavior, ..."
Abstract

Cited by 662 (51 self)
 Add to MetaCart
and verification of realtime systems, based on constraintsolving and onthefly 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 realvalued clocks
Determinants of Economic Growth: A CrossCountry Empirical Study
, 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
, 2009
"... Gaussian distribution of a single realvalued variable with mean µ ∈ R and variance σ2: N(x µ,σ 2) = 1 √ exp − ..."
Abstract
 Add to MetaCart
Gaussian distribution of a single realvalued variable with mean µ ∈ R and variance σ2: N(x µ,σ 2) = 1 √ exp −
Linear Regression Sumofsquares Error Solution Using PseudoInverse Linear Discriminant Analysis
, 2010
"... Gaussian distribution of a single realvalued variable with mean µ ∈ R and variance σ2: N(xµ,σ 2) = 1 √ exp − ..."
Abstract
 Add to MetaCart
Gaussian distribution of a single realvalued 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,
, 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: RealValued Graphical Models for Computer Vision
, 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 discretevalued or jointly represented by a single multivariate Gaussian
Results 1  10
of
3,808