2647 search results - page 122 / 530 » Solving Term Inequalities |
111
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
In a placed circuit, there are a lot of movable cells that can be flipped to further reduce the total wirelength, without affecting the original placement solution. We aim at solv...
123
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper focuses on a task allocation problem, particularly in cases where the task is to find a solution to a search problem or a constraint satisfaction problem. If the searc...
139
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
For XML-based applications in general and B2B applications in particular, mapping between differently structured XML documents, to enable exchange of data, is a basic problem. A g...
197
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
We show that aggregate constraints (as opposed to pairwise constraints) that often arise when integrating multiple sources of data, can be leveraged to enhance the quality of dedu...
137
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...