1135 search results - page 207 / 227 » Interactive Problem Solving via Algorithm Visualization |
118
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
158
Voted
WOLLIC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
140
Voted
CPHYSICS
2006
15 years 3 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
119
Voted
EUROGRAPHICS
2010
Eurographics
16 years 23 days ago
2010
Eurographics
This paper challenges the difficult problem of automatic semantic correspondence between two given shapes which are semantically similar but possibly geometrically very different...
149
Voted
SCP
2010
15 years 2 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...