4341 search results - page 431 / 869 » Quantitative Model checking |
157
click to vote
INTERACT
2007
15 years 8 months ago
2007
This paper proposes a novel approach to modeling the diversity in users’ perceptions, based on a mixture of qualitative and quantitative techniques: the Repertory Grid Technique ...
155
click to vote
VISAPP
2008
15 years 8 months ago
2008
Abstract. This article describes an algorithm for pose or motion estimation based on clustering of parameters in the six-dimensional pose space. The parameter samples are computed ...
202
click to vote
OPODIS
2001
15 years 8 months ago
2001
This paper aims to investigate the use of mobile agents for service provision in mobile computing environments. A quantitative model and experimental measurements are performed to ...
148
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
An algorithm for scheduling the trajectory of a point object, which moves on a plane surface comprising of moving obstacles, is introduced. Different quantitative criteria may be m...
180
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this work, the problem of the estimation of parameters in case of mixtures of models composed by the sum of multiple Gaussians is considered. It will be shown how this estimati...