1818 search results - page 105 / 364 » Granularity-Adaptive Proof Presentation |
134
Voted
AAAI
1994
15 years 5 months ago
1994
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...
122
click to vote
WCE
2007
15 years 4 months ago
2007
—We present a 3-competitive online algorithm for determining when to restripe a file for the case when the optimum stripe depth can take one of two possible values, depending on ...
143
Voted
ENDM
2010
15 years 3 months ago
2010
We present a class of instances of the existence of a second object of a specified type, in fact, of an even number of objects of a specified type, which generalizes the existence...
111
Voted
APAL
2006
15 years 3 months ago
2006
If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is deri...
132
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
A multi-resolution path planning algorithm based on the wavelet transform of the environment has been reported previously in the literature. In this paper, we provide a proof of co...