207 search results - page 8 / 42 » Smoothed analysis of integer programming |
110
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Hierarchical topic taxonomies have proliferated on the World Wide Web [5, 18], and exploiting the output space decompositions they induce in automated classification systems is an...
100
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
98
Voted
ACL
2009
14 years 11 months ago
2009
This paper presents an unsupervised opinion analysis method for debate-side classification, i.e., recognizing which stance a person is taking in an online debate. In order to hand...
152
click to vote
IEEEPACT
2005
IEEE
15 years 7 months ago
2005
IEEE
Feedback-directed Optimization has become an increasingly important tool in designing and building optimizing compilers as itprovides a means to analyze complexprogram behavior th...
106
click to vote
WCET
2008
15 years 2 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...