2635 search results - page 15 / 527 » Computing multihomogeneous resultants using straight-line pr... |
OPODIS
2003
13 years 11 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
IJACTAICIT
2010
13 years 7 months ago
2010
This paper describes new proposed algorithms for constructing the transfer function of nth order Butterworth LPF using the idea of the cascade combination of active filters. Compu...
FCT
2009
Springer
14 years 4 months ago
2009
Springer
The n-ary first and second recursion theorems formalize two distinct, yet similar, notions of self-reference. Roughly, the n-ary first recursion theorem says that, for any n algo...
SIGCSE
1994
ACM
14 years 1 months ago
1994
ACM
The ability to comprehend a program written by other individuals is becoming increasingly important in software development and maintenance. In an attempt to encourage undergradua...
ITICSE
2003
ACM
14 years 3 months ago
2003
ACM
The high variability of students’ backgrounds typically found in introductory programming courses creates additional difficulties to foster motivation and ensure the desired co...