1404 search results - page 105 / 281 » Complexity of admissible rules |
KI
2009
Springer
14 years 3 months ago
2009
Springer
Embodied agents can be a powerful interface for natural human-computer interaction. While graphical realism is steadily increasing, the complexity of believable behavior is still h...
AGTIVE
2007
Springer
14 years 3 months ago
2007
Springer
The usability of model transformation languages depends on the abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
APSEC
2007
IEEE
14 years 1 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
SEC
2000
13 years 10 months ago
2000
: The development of complex access control architectures raises the problem of their management. In this article, we describe an architecture providing packet filters configuratio...