Sciweavers

2645 search results - page 174 / 529
» time 2003
Sort
View
INDOCRYPT
2003
Springer
15 years 11 months ago
On the Construction of Prime Order Elliptic Curves
We consider a variant of the Complex Multiplication (CM) method for constructing elliptic curves (ECs) of prime order with additional security properties. Our variant uses Weber po...
Elisavet Konstantinou, Yannis C. Stamatiou, Christ...
CCCG
2003
15 years 7 months ago
An algorithm for the MaxMin area triangulation of a convex polygon
Given a convex polygon in the plane, we are interested in triangulations of its interior, i.e. maximal sets of nonintersecting diagonals that subdivide the interior of the polygon...
J. Mark Keil, Tzvetalin S. Vassilev
IJCAI
2003
15 years 7 months ago
Efficient Symmetry Breaking for Boolean Satisfiability
Identifying and breaking the symmetries of CNF formulae has been shown to lead to significant reductions in search times. In this paper we describe a more systematic and efficient...
Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
IJCAI
2003
15 years 7 months ago
Tractable Symmetry Breaking for CSPs with Interchangeable Values
Symmetry breaking in CSPs has attracted consid­ erable attention in recent years. Various general schemes have been proposed to eliminate sym­ metries during search. In general,...
Pascal Van Hentenryck, Pierre Flener, Justin Pears...
IJCAI
2003
15 years 7 months ago
Qualitative Map Learning Based on Co-visibility of Objects
This paper proposes a unique map learning method for mobile robots based on the co-visibility infor­ mation of objects i.e., the information on whether two objects are visible at...
Takehisa Yairi, Koichi Hori