2853 search results - page 387 / 571 » On Coherence in Computer Algebra |
67
Voted
AIED
2007
Springer
15 years 4 months ago
2007
Springer
The efficacy of a tutoring system for pre-algebra instruction plus human tutoring was compared to instruction provided to small groups of middle school students by experienced huma...
77
Voted
FOSSACS
2007
Springer
15 years 4 months ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
85
Voted
ICTAC
2007
Springer
15 years 4 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
78
Voted
ETS
2006
IEEE
15 years 4 months ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
92
Voted
SEW
2006
IEEE
15 years 4 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...