2647 search results - page 96 / 530 » Solving Term Inequalities |
135
Voted
JSYML
2002
15 years 3 months ago
2002
We consider equational theories for functions defined via recursion involving equations between closed terms with natural rules based on recursive definitions of the function symb...
143
click to vote
DAS
2008
Springer
15 years 5 months ago
2008
Springer
Automatic Term Recognition (ATR) is concerned with discovering terminology in large volumes of text corpora. Technical terms are vital elements for understanding the techniques us...
145
click to vote
CVPR
2010
IEEE
16 years 17 days ago
2010
IEEE
We explore the problem of reconstructing an image from a bag of square, non-overlapping image patches, the jigsaw puzzle problem. Completing jigsaw puzzles is challenging and requ...
154
Voted
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...
138
click to vote
STACS
2000
Springer
15 years 7 months ago
2000
Springer
We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed. Until now, in numerical computation, error terms were ...