1860 search results - page 136 / 372 » A Temporal Logic of Robustness |
95
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
Logic duplication, a commonly used synthesis technique to remove trapped inverters in reconvergent paths of Domino circuits, incurs high area and power penalties. In this paper, w...
ENTCS
2007
15 years 20 days ago
2007
This paper establishes undecidability of satisfiability for multi-modal logic equipped with the hybrid binder ↓ , with respect to frame classes over which the same language wit...
90
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
84
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
One problem with the adaptive tracking is that the data that are used to train the new target model often contain errors and these errors will affect the quality of the new target...
110
click to vote
ICPR
2002
IEEE
15 years 5 months ago
2002
IEEE
Human recognition from video requires solving the two tasks, recognition and tracking, simultaneously. This leads to a parameterized time series state space model, representing bo...