1413 search results - page 71 / 283 » Bisimilarity of Open Terms |
110
Voted
JFPLC
2001
15 years 2 months ago
2001
We propose an environment for musical constraint solving, in the visual programming language OpenMusic. We describe an implementation of a local search algorithm, called adaptive s...
80
Voted
MOC
2002
15 years 15 days ago
2002
We answer a question left open in an article of Coppersmith and Davenport which proved the existence of polynomials whose powers are sparse, and in particular polynomials whose squ...
106
Voted
CASC
2010
Springer
14 years 11 months ago
2010
Springer
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
128
click to vote
SAGT
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Bounding the price of stability of undirected network design games with fair cost allocation is a challenging open problem in the Algorithmic Game Theory research agenda....
95
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
We propose a new algorithm to detect the presence and the localization of aliasing in a single digital image.Considering the image in Fourier domain, the fact that two frequencies...