Sciweavers

325 search results - page 20 / 65
» Remarks on the Schoof-Elkies-Atkin algorithm
Sort
View
CPM
1998
Springer
115views Combinatorics» more  CPM 1998»
14 years 2 months ago
Aligning Alignments
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
John D. Kececioglu, Weiqing Zhang
ROBOCUP
1998
Springer
148views Robotics» more  ROBOCUP 1998»
14 years 2 months ago
The CMTrio-98 Sony-Legged Robot Team
Sony has provided a remarkable platform for research and development in robotic agents, namely fully autonomous legged robots. In this paper, we describe our work using Sony's...
Manuela M. Veloso, William T. B. Uther
ARTS
1997
Springer
14 years 2 months ago
Regular Processes and Timed Automata
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
Pedro R. D'Argenio
ECAI
1994
Springer
14 years 1 months ago
The SAT Phase Transition
We describe a detailed experimental investigation of the phase transition for several different classes of randomly generated satisfiability problems. We observe a remarkable consi...
Ian P. Gent, Toby Walsh
EUROCRYPT
1994
Springer
14 years 1 months ago
The Self-Shrinking Generator
The self-shrinking generator was introduced in 1994. It is based on the idea behind the shrinking generator and despite its simplicity it has remained remarkably resistant to effic...
Willi Meier, Othmar Staffelbach