3229 search results - page 244 / 646 » Mixing |
138
click to vote
DATE
2009
IEEE
16 years 9 days ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
141
click to vote
ACG
2009
Springer
16 years 4 days ago
2009
Springer
Recently, Monte-Carlo Tree Search (MCTS) has advanced the field of computer Go substantially. In the game of Lines of Action (LOA), which has been dominated in the past by αβ, M...
179
click to vote
CALCO
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 0-1 axioms. In the process of constructing free...
147
Voted
COCOON
2009
Springer
16 years 3 days ago
2009
Springer
We present a polynomial-time perfect sampler for the Q-Ising with a vertex-independent noise. The Q-Ising, one of the generalized models of the Ising, arose in the context of Baye...
143
click to vote
IVA
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. Virtual humans are employed in many interactive applications, including (serious) games. Their motion should be natural and allow interaction with its surroundings and ot...