7961 search results - page 475 / 1593 » Input-Output Model Programs |
137
click to vote
WSC
1998
15 years 7 months ago
1998
Bayesian forecasting models provide distributional estimates for random parameters, and relative to classical schemes, have the advantage that they can rapidly capture changes in ...
157
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
106
click to vote
ISMB
1993
15 years 7 months ago
1993
Wepropose in this paper a modularlearning environmentfor proteinmodeling.In this system,the protein modelingproblemis tackledin twosuccessive phases. First, partial structural inf...
185
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
179
click to vote
ICIP
1994
IEEE
16 years 8 months ago
1994
IEEE
We describe the implementation of a graphical programming tool in the object-oriented language, Smalltalk80, that allows a user to construct a radiographic measurement model. The ...