4962 search results - page 681 / 993 » Stochastic Model Checking |
132
click to vote
APN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
116
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
RVRL (Rule Value Reinforcement Learning) is a new algorithm which extends an existing learning framework that models the environment of a situated agent using a probabilistic rule...
109
click to vote
FMICS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
130
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We describe in this paper Ant-P-solver, a generic constraint solver based on the Ant Colony Optimization (ACO) metaheuristic. The ACO metaheuristic takes inspiration on t...
135
Voted
KONVENS
2000
15 years 6 months ago
2000
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...