1157 search results - page 111 / 232 » Descriptive Complexity and Model Checking |
87
Voted
DEDS
2002
15 years 8 days ago
2002
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
105
Voted
TIT
1998
15 years 3 days ago
1998
—Probability models are estimated by use of penalized log-likelihood criteria related to AIC and MDL. The accuracies of the density estimators are shown to be related to the trad...
142
click to vote
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
104
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
98
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Graphical models are well established in providing compact conditional probability descriptions of complex multivariable interactions. In the Gaussian case, graphical models are d...