Sciweavers

7289 search results - page 292 / 1458
» A Dependent Set Theory
Sort
View
APPML
2010
150views more  APPML 2010»
15 years 5 months ago
On some integral inequalities related to the Cauchy-Bunyakovsky-Schwarz inequality
Some new results that provide refinements and reverses of the Cauchy-Bunyakovsky-Schwarz (CBS) -inequality in the general setting of Measure Theory and under some boundedness condi...
N. S. Barnett, Sever Silvestru Dragomir, I. Gomm
SPLC
2008
15 years 8 months ago
Feature Descriptions for Context-oriented Programming
In Context-oriented Programming (COP), programs can be partitioned into behavioral variations expressed as sets of partial program definitions. Such layers can be activated and de...
Pascal Costanza, Theo D'Hondt
ACL
2009
15 years 4 months ago
DEPEVAL(summ): Dependency-based Evaluation for Automatic Summaries
This paper presents DEPEVAL(summ), a dependency-based metric for automatic evaluation of summaries. Using a reranking parser and a Lexical-Functional Grammar (LFG) annotation, we ...
Karolina Owczarzak
KR
1992
Springer
15 years 10 months ago
Learning Useful Horn Approximations
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
Russell Greiner, Dale Schuurmans
TOCL
2012
235views Formal Methods» more  TOCL 2012»
13 years 9 months ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner