Sciweavers

8768 search results - page 49 / 1754
» Generalizing the notion of support
Sort
View
ECOOP
2007
Springer
16 years 14 days ago
Morphing: Safely Shaping a Class in the Image of Others
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
Shan Shan Huang, David Zook, Yannis Smaragdakis
NIL
1991
15 years 9 months ago
Deduction with Supernormal Defaults
In this paper we consider supernormal defaults [Poo88] with a strict partial order defining their priorities [Bre91]. We investigate their relation to minimal or preferential ent...
Stefan Brass
FOIKS
2004
Springer
15 years 11 months ago
Towards a Generalized Interaction Scheme for Information Access
We introduce the formal framework of a generalized interaction scheme for information access between users and information sources. Within this framework we describe an interactio...
Yannis Tzitzikas, Carlo Meghini, Nicolas Spyratos
STOC
2010
ACM
269views Algorithms» more  STOC 2010»
15 years 10 months ago
Approximations for the Isoperimetric and Spectral Profile of Graphs and Related Parameters
The spectral profile of a graph is a natural generalization of the classical notion of its Rayleigh quotient. Roughly speaking, given a graph G, for each 0 < < 1, the spect...
Prasad Raghavendra, David Steurer and Prasad Tetal...
ECAI
2000
Springer
15 years 10 months ago
Iterated Revision by Epistemic States: Axioms, Semantics and Syntax
Abstract. We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set ...
Salem Benferhat, Sébastien Konieczny, Odile...