1860 search results - page 141 / 372 » A Temporal Logic of Robustness |
103
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we propose a novel temporal template, called Chrono-Gait Image (CGI), to describe the spatio-temporal walking pattern for human identification by gait. The CGI temp...
97
Voted
ISQED
2010
IEEE
15 years 5 months ago
2010
IEEE
We analyze the neutron induced soft error rate (SER) by modeling induced error pulse using two parameters, occurrence frequency and probability density function for the pulse widt...
IJCAI
2007
15 years 2 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
103
Voted
DLOG
2003
15 years 2 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
95
Voted
GIS
1999
ACM
15 years 5 months ago
1999
ACM
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...