4962 search results - page 753 / 993 » Stochastic Model Checking |
ACMICEC
2004
ACM
14 years 2 months ago
2004
ACM
Supply Chain Management deals with the planning and coordination of bidding, production and procurement activities across the multiple organizations involved in the delivery of on...
ICMI
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we propose a multimodal system for detecting human activity and interaction patterns in a nursing home. Activities of groups of people are firstly treated as intera...
ISMIR
2004
Springer
14 years 2 months ago
2004
Springer
This paper concerns both rhythm recognition and tempo analysis of expressive music performance based on a probabilistic approach. In rhythm recognition, the modern continuous spee...
IWQOS
2004
Springer
14 years 2 months ago
2004
Springer
— Quality of Service (QoS) is an area with high academic curiosity. Our long-term goal is to develop a unified mathematical model. This paper is a first step towards this ambit...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
All Internet-accessible computing systems are currently faced with incessant threats ranging from simple scriptkiddies to highly sophisticated criminal enterprises. In response to...