16616 search results - page 351 / 3324 » Extending Extended Vacuity |
171
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
185
click to vote
FCT
2007
Springer
16 years 1 months ago
2007
Springer
We present new combinatorial approximation algorithms for k-set cover. Previous approaches are based on extending the greedy algorithm by efficiently handling small sets. The new a...
171
click to vote
IWSEC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
201
Voted
KSEM
2007
Springer
16 years 1 months ago
2007
Springer
Extended argumentation framework is a formalism where defeat relations are determined by establishing a preference between arguments involved in symmetric conflicts. This process ...
240
click to vote
ODBIS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. RDF Schema (RDFS) extends RDF with a schema vocabulary with a predefined semantics. Evaluating queries which involve this vocabulary is challenging, and there is not yet...