1363 search results - page 84 / 273 » Distributed Authorization with Distributed Grammars |
101
click to vote
ACS
2008
15 years 3 months ago
2008
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...
141
click to vote
SYNTHESE
2010
15 years 1 months ago
2010
This paper presents a novel semantic analysis of unit names (like pound and meter) and gradable adjectives (like tall, short and happy), inspired by measurement theory (Krantz et a...
130
Voted
ACL
2012
13 years 5 months ago
2012
We present a new open source toolkit for phrase-based and syntax-based machine translation. The toolkit supports several state-of-the-art models developed in statistical machine t...
136
click to vote
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
125
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
The paper presents the design of a hardware genetic algorithm which uses a pipeline of systolic arrays. Demostrated is the design methodology, where a simple genetic algorithm exp...