Sciweavers

166 search results - page 34 / 34
» Spiders as Robust Point Descriptors
Sort
View
EMSOFT
2011
Springer
12 years 4 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger