Sciweavers

2414 search results - page 13 / 483
» Computing Normal Subgroups
Sort
View
GIS
2006
ACM
14 years 8 months ago
Computing longest duration flocks in trajectory data
Moving point object data can be analyzed through the discovery of patterns. We consider the computational efficiency of computing two of the most basic spatio-temporal patterns in...
Joachim Gudmundsson, Marc J. van Kreveld
CRYPTO
2000
Springer
128views Cryptology» more  CRYPTO 2000»
13 years 12 months ago
The XTR Public Key System
This paper introduces the XTR public key system. XTR is based on a new method to represent elements of a subgroup of a multiplicative group of a finite field. Application of XTR ...
Arjen K. Lenstra, Eric R. Verheul
MOC
2000
84views more  MOC 2000»
13 years 7 months ago
Solving Thue equations without the full unit group
Abstract. The main problem when solving a Thue equation is the computation of the unit group of a certain number field. In this paper we show that the knowledge of a subgroup of fi...
Guillaume Hanrot
AMAST
2006
Springer
13 years 11 months ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
INTERACT
2003
13 years 8 months ago
The British Human-Computer Interaction Group
: The British HCI Group (BHCIG) is the UK national organisation for all those working in the field of human-computer interaction. It encourages active membership and devolved decis...
Tom McEwan, Nico MacDonald, Gilbert Cockton