2661 search results - page 76 / 533 » A Semantics for Abstraction |
184
click to vote
CONTEXT
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice v...
148
click to vote
HOA
1993
15 years 10 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
213
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
202
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
145
click to vote
TAL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a novel approach to incorporating semantic information to the problems of natural language processing, in particular to the document classification task. The ...