1380 search results - page 224 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
AI
2006
Springer
13 years 11 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
ICRA
1994
IEEE
14 years 1 months ago
1994
IEEE
While most previous work in planning manipulation tasks relies on the assumption of quasi-static conditions, there can be situations where the quasi-static assumption may not hold...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Stability of Wardrop equilibria is analyzed for dynamical transportation networks in which the drivers’ route choices are influenced by information at multiple temporal and spat...
ICAS
2009
IEEE
14 years 3 months ago
2009
IEEE
— User’s requirements have become a key factor for any Quality of Service (QoS) management model to succeed. The advent and rise of new broadband services and network architect...
SACMAT
2009
ACM
14 years 3 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...