1423 search results - page 62 / 285 » Quantum logic as a dynamic logic |
140
click to vote
TABLEAUX
2005
Springer
15 years 11 months ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...
164
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Abstract--Resonant tunneling diodes (RTDs) have demonstrated promising circuit characteristics of high speed switching property and versatile functionality with negative differenti...
160
click to vote
IWFM
1998
15 years 7 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
140
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
170
click to vote
HUMO
2007
Springer
16 years 9 days ago
2007
Springer
In this paper, we introduce a first-order probabilistic model that combines multiple cues to classify human activities from video data accurately and robustly. Our system works in...