6020 search results - page 528 / 1204 » A New Approach to Model Counting |
150
click to vote
IBERAMIA
2004
Springer
16 years 14 days ago
2004
Springer
In order to increase the role of machines in supporting more capabilities as regards a spoken dialogue system, we present in this paper a new problem incorporating multi-session in...
190
click to vote
COCOON
2003
Springer
16 years 9 days ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
145
click to vote
AAAI
2007
15 years 9 months ago
2007
The goal of our current research is machine learning with the help and guidance of a knowledge base (KB). Rather than learning numerical models, our approach generates explicit sy...
193
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
This article presents a robust EDA for global optimization with real parameters. The approach is based on the linear combination of individuals of two populations. One is the curr...
167
click to vote
PADS
2003
ACM
16 years 10 days ago
2003
ACM
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...