6020 search results - page 846 / 1204 » A New Approach to Model Counting |
157
click to vote
APPROX
2009
Springer
16 years 1 months ago
2009
Springer
The AND problem on t bits is a promise decision problem where either at most one bit of the input is set to 1 (NO instance) or all t bits are set to 1 (YES instance). In this note...
177
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
182
click to vote
IDA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This work aims to improve an existing time series forecasting algorithm –LBF– by the application of frequent episodes techniques as a complementary step to the model....
146
click to vote
IDEAL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a more effective approach to clustering with eXtended Classifier System (XCS) which is divided into two phases. The first phase is the XCS le...
169
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a novel computational approach to the study of creativity. In particular, it discusses a modeling framework that addresses the worth of ideas ascribed by agent...