6020 search results - page 50 / 1204 » A New Approach to Model Counting |
115
click to vote
CSDA
2007
15 years 1 months ago
2007
This paper considers modelling spatially varying regression effects for multivariate mortality count outcomes. Alternative approaches to spatial regression heterogeneity are consi...
117
click to vote
ICPP
1999
IEEE
15 years 6 months ago
1999
IEEE
The implementation of bounded-delay services over integrated services networks relies admission control mechanisms that in turn use end-to-end delay computation algorithms. For gu...
108
click to vote
SYNTHESE
2011
14 years 9 months ago
2011
: ic models invariably involve some degree of idealization, abstraction, or fictionalization of their target system. Nonetheless, I argue that there are circumstances under which s...
134
click to vote
TASLP
2008
15 years 1 months ago
2008
Abstract--In this paper, a new model-based algorithm for optimizing the MPEG-Advanced Audio Coder (AAC) in MS-stereo mode is presented. This algorithm is an extension to stereo sig...
ASE
2005
15 years 1 months ago
2005
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate. Deviation analysis can be used...