3028 search results - page 160 / 606 » Integrating Temporal Logics |
143
Voted
TCAD
1998
15 years 4 months ago
1998
—A new approach to optimize multilevel logic circuits is introduced. Given a multilevel circuit, the synthesis method optimizes its area while simultaneously enhancing its random...
140
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
152
click to vote
AIIA
1997
Springer
15 years 9 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
134
click to vote
ISMAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Spatial tracking is one of the most challenging parts of Augmented Reality. Many AR applications rely on the fusion of several tracking systems in order to optimize the overall pe...
130
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Noise not only degrades the visual quality of video contents, but also significantly affects the coding efficiency. Based on the temporal linear minimum mean square error (LMMSE...