2661 search results - page 429 / 533 » Model Checking Performability Properties |
AOIS
2003
13 years 11 months ago
2003
In this paper, we improve and extend the MaSE methodology to bridge the gaps in this methodology. First, we propose an improvement process and, based on this process, we report th...
WSCG
2003
13 years 11 months ago
2003
Simulations for training and analysis incorporating haptic feedback are becoming more popular and the sophistication of these simulations is increasing. Many systems now allow a r...
CVIU
2010
13 years 10 months ago
2010
We consider the problem of estimating the relative orientation of a number of individual photocells -or pixels- that hold fixed relative positions. The photocells measure the inte...
CG
2006
Springer
13 years 10 months ago
2006
Springer
Mesh deformation techniques that preserve the differential properties have been intensively studied. In this paper, we propose an equality-constrained least squares approach for s...
CIKM
2010
Springer
13 years 8 months ago
2010
Springer
This paper introduces the notion of temporally constrained ranked retrieval, which, given a query and a time constraint, produces the best possible ranked list within the specifi...