8917 search results - page 478 / 1784 » Abstraction in Algorithm Animation |
192
click to vote
ANTS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. For K3 surfaces, we derive some conditions the characteristic polynomial of the Frobenius on the ´etale cohomology must satisfy. These conditions may be used to speed up...
197
Voted
CASC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we present algorithmic considerations and theoretical results about the relation between the orders of certain groups associated to the components of a poly...
145
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In their search through a huge space of possible hypotheses, rule induction algorithms compare estimations of qualities of a large number of rules to find the one that ap...
161
click to vote
ASIAN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
204
click to vote
SWAT
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We show how to maintain centers and medians for a collection of dynamic trees where edges may be inserted and deleted and node and edge weights may be changed. All update...