3515 search results - page 227 / 703 » On the semantics of Strategy Logic |
228
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
The automatic computation of features for content-based image retrieval still has difficulties to represent the concepts the user has in mind. Whenever an additional learning stra...
220
Voted
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
178
click to vote
ESORICS
2000
Springer
15 years 11 months ago
2000
Springer
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety...
170
click to vote
ACL
2001
15 years 8 months ago
2001
We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to t...
192
Voted
DLOG
2008
15 years 8 months ago
2008
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...