498 search results - page 79 / 100 » Model Validation using Automatically Generated Requirements-... |
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a novel model1 for measurement of the arterial pulse from the Superficial Temporal Artery (STA) using passive thermal Infra Red (IR) sensors. The proposed approach has ...
COOP
2004
13 years 10 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Sensing events from dynamic environments are normally asynchronous and non-repeatable. This lack of repeatability makes it particularly difficult to statistically evaluate the...
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
Audio-based music similarity measures can be applied to automatically generate playlists or recommendations. In this paper spectral similarity is combined with complementary infor...
AICOM
2008
13 years 8 months ago
2008
We propose a novel hybrid recommendation model in which user preferences and item features are described in terms of semantic concepts defined in domain ontologies. The exploitati...