2095 search results - page 129 / 419 » Describing Groups |
135
click to vote
ENDM
2010
15 years 6 months ago
2010
The performance of Branch-and-Bound algorithms is severely impaired by the presence of symmetric optima in a given problem. We describe a method for the automatic detection of for...
174
click to vote
ENGL
2007
15 years 6 months ago
2007
—This paper describes the design and implementation of an inference engine for the execution of Fuzzy Inference Systems (FIS), the architecture of the system is presented, and th...
147
click to vote
MICS
2008
15 years 6 months ago
2008
We describe automated methods for constructing nonisomorphism proofs for pairs of graphs. The proofs can be human-readable or machinereadable. We have developed an experimental imp...
134
click to vote
SIAMAM
2008
15 years 6 months ago
2008
We describe a new class of surface flows, diffeomorphic surface flows, induced by restricting diffeomorphic flows of the ambient Euclidean space to a surface. Different from classi...
169
click to vote
IJAC
2007
15 years 6 months ago
2007
Abstract. Rotation distance quantifies the difference in shape between two rooted binary trees of the same size by counting the minimum number of elementary changes needed to tra...