Sciweavers

1627 search results - page 137 / 326
» On context in authorization policy
Sort
View
BIRTHDAY
2005
Springer
14 years 3 months ago
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
Alessandro Armando, Claudio Castellini, Enrico Giu...
DIGRA
2005
Springer
14 years 3 months ago
Architecting Scalability for Massively Multiplayer Online Gaming Experiences
In this study, the authors propose to discuss scalability challenges posed by Massively Multiplayer Online Game (MMOG) scenarios, while outlining issues specific to the context of...
Rui Gil, José Tavares, Licinio Roque
CORR
2008
Springer
106views Education» more  CORR 2008»
13 years 10 months ago
Human expert fusion for image classification
: In image classification, merging the opinion of several human experts is very important for solving different tasks such as evaluation or training. Indeed, the reality is rarely ...
Arnaud Martin, Christophe Osswald
FCT
2005
Springer
14 years 3 months ago
Leftist Grammars and the Chomsky Hierarchy
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
Tomasz Jurdzinski, Krzysztof Lorys
DIM
2007
ACM
14 years 2 months ago
Linkability estimation between subjects and message contents using formal concepts
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
Stefan Berthold, Sebastian Clauß