7121 search results - page 135 / 1425 » Modeling Signs Using Functional Data Analysis |
ISIPTA
2005
IEEE
14 years 3 months ago
2005
IEEE
The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
AMC
2008
13 years 10 months ago
2008
A system of stochastic differential equations is studied describing a compartmental carbon transfer model that includes uncertainties arising in the model from environmental and p...
ICML
1999
IEEE
14 years 11 months ago
1999
IEEE
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...
JUCS
2008
13 years 10 months ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
FMCAD
1998
Springer
14 years 2 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...