3690 search results - page 333 / 738 » Computation with classical sequents |
193
Voted
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Intensive research is performed to find post-CMOS technologies. A very promising direction based on reversible logic are quantum computers. While in the domain of reversible lo...
224
Voted
IEEEICCI
2009
IEEE
16 years 2 months ago
2009
IEEE
In practical issues, categorical data and numerical data usually coexist, and a unified data reduction technique for hybrid data is desirable. In this paper, an information measu...
167
click to vote
AIED
2009
Springer
16 years 2 months ago
2009
Springer
We present a novel phoneme-based student model for spelling training. Our model is data driven, adapts to the user and provides information for, e.g., optimal word selection. We de...
177
Voted
WOLLIC
2009
Springer
16 years 2 months ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
181
click to vote
WOLLIC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...