2179 search results - page 28 / 436 » Symmetry within Solutions |
ASPDAC
2005
ACM
14 years 3 months ago
2005
ACM
Abstract— Learning is an essential pruning technique in modern SAT solvers, but it exploits a relatively small amount of information that can be deduced from the conflicts. Rece...
AISC
2008
Springer
13 years 11 months ago
2008
Springer
We describe the use of symbolic algebraic computation allied with AI search techniques, applied to the problem of the identification, enumeration and storage of all monoids of orde...
WER
2007
Springer
14 years 3 months ago
2007
Springer
The Problem Frames approach defines identifiable problem classes based on, among other things, their context and the characteristics of their domains, interfaces and requirements,...
HCI
2007
13 years 11 months ago
2007
In this paper, we present a survey of challenges and solutions of multilingual and translingual information service systems. In contrast to the computational linguistics literature...
SIAMCO
2002
13 years 9 months ago
2002
An optimal stochastic control problem is considered for systems with unbounded controls satisfying an integral constraint. It is shown that there exists an optimal control within t...