1860 search results - page 183 / 372 » A Temporal Logic of Robustness |
258
Voted
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
216
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
Gait is an attractive biometric for vision-based human identification. Previous work on existing public data sets has shown that shape cues yield improved recognition rates compar...
213
click to vote
JSAI
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
199
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
218
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...