16257 search results - page 309 / 3252 » D-finiteness: algorithms and applications |
169
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The complex multiplication (CM) method for genus 2 is currently the most efficient way of generating genus 2 hyperelliptic curves defined over large prime fields and suit...
132
Voted
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. This paper addresses the issue of simplifying natural language texts in order to ease the task of accessing factual information contained in them. We define the notion of...
154
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
189
click to vote
ARITH
2001
IEEE
15 years 10 months ago
2001
IEEE
A recently introduced double-base number representation has proved to be successful in optimizing the performance of several algorithms in cryptography and digital signal processi...
180
click to vote
CAIP
1995
Springer
15 years 10 months ago
1995
Springer
We propose a novel approach to image segmentation, called feature and spatial domain clustering. The method is devised to group pixel data by taking into account simultaneously bo...