16616 search results - page 351 / 3324 » Extending Extended Vacuity |
152
click to vote
CSL
2007
Springer
16 years 29 days 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...
169
click to vote
FCT
2007
Springer
16 years 29 days 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...
153
click to vote
IWSEC
2007
Springer
16 years 28 days 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...
174
Voted
KSEM
2007
Springer
16 years 28 days 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 ...
227
click to vote
ODBIS
2007
Springer
16 years 28 days 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...