5451 search results - page 744 / 1091 » Typed Operational Semantics |
173
click to vote
CHES
2004
Springer
16 years 21 hour ago
2004
Springer
We present an implementation of elliptic curves and of hyperelliptic curves of genus 2 and 3 over prime fields. To achieve a fair comparison between the different types of groups,...
170
click to vote
CPAIOR
2004
Springer
16 years 19 hour ago
2004
Springer
This paper addresses the question of selecting an algorithm from a predefined set that will have the best performance on a scheduling problem instance. Our goal is to reduce the e...
175
click to vote
ICALP
2004
Springer
16 years 7 hour ago
2004
Springer
We consider the problem of learning a labeled graph from a given family of graphs on n vertices in a model where the only allowed operation is to query whether a set of vertices i...
175
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
184
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper investigates two types of overhead due to duplicated local computations, which are frequently encountered in the parallel software of overlapping domain decomp...