1291 search results - page 8 / 259 » Arithmetic program paths |
170
Voted
CORR
2000
Springer
15 years 6 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...
178
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
128
Voted
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
