1716 search results - page 266 / 344 » Proving Conditional Termination |
144
click to vote
COMPGEOM
2004
ACM
15 years 11 months ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
150
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We investigate the design of iterative, limited-precision mechanisms for single-good auctions with dominant strategy equilibria. Our aim is to design mechanisms that minimize the ...
143
click to vote
COLT
2004
Springer
15 years 11 months ago
2004
Springer
We study the properties of the Minimum Description Length principle for sequence prediction, considering a two-part MDL estimator which is chosen from a countable class of models....
159
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighborhood of its free variables. Such n...
139
click to vote
DIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Ripple Down Rules is a practical methodology to build knowledgebased systems, which has proved successful in a wide range of commercial applications. However, little work...