2409 search results - page 309 / 482 » On Extended Regular Expressions |
178
click to vote
ASM
2005
ASM
16 years 4 days ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
161
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
195
click to vote
DALT
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
162
click to vote
EPIA
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
188
Voted
ESORICS
2005
Springer
16 years 4 days ago
2005
Springer
Access control is concerned with granting access to sensitive data based on conditions that relate to the past or present, so-called provisions. Expressing requirements from the do...