1127 search results - page 88 / 226 » Theory Extension in ACL2(r) |
VL
2009
IEEE
15 years 7 months ago
2009
IEEE
Designers’ extensive software needs have not been adequately documented in the research literature, and are poorly supported by software. Without appropriate tools to support th...
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
109
click to vote
SACMAT
2009
ACM
15 years 7 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...
103
click to vote
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we propose a novel multi-dimensional distributed hidden Markov model (DHMM) framework. We first extend the theory of 2D hidden Markov models (HMMs) to arbitrary ca...
103
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for de...