488 search results - page 71 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
DAGSTUHL
2006
15 years 14 days ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
MM
2005
ACM
15 years 4 months ago
2005
ACM
We propose a multi-sensor affect recognition system and evaluate it on the challenging task of classifying interest (or disinterest) in children trying to solve an educational pu...
PERCOM
2005
ACM
15 years 10 months ago
2005
ACM
WLAN location estimation based on 802.11 signal strength is becoming increasingly prevalent in today's pervasive computing applications. As alternative to the wellestablished...
SPLC
2008
15 years 15 days ago
2008
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
ICDE
2008
IEEE
15 years 5 months ago
2008
IEEE
— We propose a new approach to the problem of schema matching in relational databases that merges the hybrid and composite approach of combining multiple individual matching tech...