3255 search results - page 124 / 651 » Combination of Abstractions in the ASTR |
UCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper describes daily life activity recognition using wearable acceleration sensors attached to four different parts of the human body. The experimental data set con...
KIVS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
CPAIOR
2004
Springer
14 years 3 months ago
2004
Springer
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
DEON
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
IFM
2004
Springer
14 years 3 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...