1716 search results - page 266 / 344 » Proving Conditional Termination |
115
Voted
COMPGEOM
2004
ACM
15 years 8 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...
121
click to vote
ATAL
2004
Springer
15 years 8 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 ...
111
click to vote
COLT
2004
Springer
15 years 8 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....
131
click to vote
CSL
2004
Springer
15 years 8 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...
112
click to vote
DIS
2004
Springer
15 years 8 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...