3356 search results - page 132 / 672 » Computing education for sustainability |
152
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We survey algorithms for computing isogenies between elliptic curves defined over a field of characteristic either 0 or a large prime. We introduce a new algorithm that computes an...
156
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- Elaborating on prior work by Minka, we formulate a general computation rule for lossy messages. An important special case (with many applications in communications) is t...
115
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...
125
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
I consider issues in distributed computation that should be of relevance to game theory. In particular, I focus on (a) representing knowledge and uncertainty, (b) dealing with fai...
151
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
It is argued that overlap between the Software Engineering and Human-Computer Interaction disciplines is part of a natural evolution that has been developing throughout the histor...