4835 search results - page 659 / 967 » Intelligent Selection Tools |
177
click to vote
AMAI
2004
Springer
16 years 2 days ago
2004
Springer
We study three new techniques which will speed up the branch-and-bound algorithm for the MAX-2-SAT problem: The first technique is a new lower bound function for the algorithm an...
220
click to vote
ECAI
2004
Springer
16 years 2 days ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
168
click to vote
JELIA
2004
Springer
16 years 1 days ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
148
click to vote
MMAS
2004
Springer
16 years 1 days ago
2004
Springer
Demand Bus System, a new public transportation system, is expected to be a convenient service for special transportation demands to solve more and more serious traffic problems con...
199
click to vote
MOZ
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...