2911 search results - page 132 / 583 » A Theory of Expressiveness in Mechanisms |
166
click to vote
TPHOL
2007
IEEE
16 years 19 days ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
156
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
At present, the common operation mechanism of multiple classifier systems is the combination of classifier outputs. Recently, some researchers pointed out the potentialities of ...
120
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
We present an empirical evaluation and comparison of two content extraction methods in HTML: absolute XPath expressions and relative XPath expressions. We argue that the relative ...
170
click to vote
ICMT
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
174
click to vote
ESORICS
2007
Springer
16 years 16 days ago
2007
Springer
We present the Obligation Specification Language (OSL), a policy language for distributed usage control. OSL supports the formalization of a wide range of usage control requiremen...