6020 search results - page 543 / 1204 » A New Approach to Model Counting |
192
click to vote
FPL
2005
Springer
16 years 19 days ago
2005
Springer
This paper presents a design and optimization technique for the Multiple Restricted Multiplication problem [1]. This refers to a situation where a single variable is multiplied by...
208
click to vote
NCA
2003
IEEE
16 years 11 days ago
2003
IEEE
In this paper, we propose and analyze a methodology for providing statistical guarantees within the diffserv model in a network, that uses static-priority schedulers. We extend th...
132
click to vote
ICAIL
2007
ACM
15 years 11 months ago
2007
ACM
In the present paper, we provide a formalised version of a merged argumentative and story-based approach towards the analysis of evidence. As an application, we are able to show h...
163
click to vote
AAAI
1994
15 years 8 months ago
1994
In this paper, we describe the partially observable Markov decision process pomdp approach to nding optimal or near-optimal control strategies for partially observable stochastic ...
118
click to vote
IFE
2002
15 years 6 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...