2042 search results - page 84 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
DATE
2010
IEEE
14 years 17 days ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
ICIP
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper analyzes the movements of the human body limbs (hands, feet and head) and center of gravity in order to detect simple actions such as walking, jumping and displacing an...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— Consider the task of searching a region for the presence or absence of a target using a team of multiple searchers. This paper formulates this search problem as a sequential pr...
DMIN
2006
13 years 10 months ago
2006
- In this paper we propose a new methodology for Cost-Benefit analysis in a multiple time series prediction problem. The proposed model is evaluated in a real world application bas...
COMPSAC
2008
IEEE
13 years 10 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...