9370 search results - page 302 / 1874 » An Abstract Notion of Application |
159
click to vote
JSYML
2008
15 years 6 months ago
2008
Abstract. We prove new upper bound theorems on the consistency strengths of SPFA(), SPFA(-linked) and SPFA(+ -cc). Our results are in terms of (, )-subcompactness, which is a new l...
181
click to vote
ENTCS
2007
15 years 6 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
148
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can...
194
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: Combinatorial property testing, initiated formally by Goldreich, Goldwasser, and Ron in [Goldreich et al. (1998)] and inspired by Rubinfeld and Sudan in [Rubinfeld and Su...
160
Voted
AI
2005
Springer
15 years 6 months ago
2005
Springer
entation theory, Dung's abstract framework provides a unifying view of several alternative semantics based on the notion of extension. In this context, we propose a general r...