6047 search results - page 101 / 1210 » Modeling with Extend |
CADE
2006
Springer
16 years 2 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
122
click to vote
ICCD
2003
IEEE
15 years 7 months ago
2003
IEEE
As the technology is shrinking toward 50 nm and the working frequency is going into multi gigahertz range, the effect of interconnects on functionality and performance of system-o...
115
Voted
CSDA
2010
15 years 1 months ago
2010
In this paper, we consider a default strategy for fully Bayesian model determination for GLMMs. We address the two key issues of default prior specification and computation. In pa...
118
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
111
click to vote
STACS
2010
Springer
15 years 8 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...