2414 search results - page 221 / 483 » Computing Normal Subgroups |
RTA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
Building an effective Information Retrieval system requires various design choices, ranging from the weighting scheme to the type of morphological normalization. The combination ...
VIZSEC
2004
Springer
14 years 3 months ago
2004
Springer
We present an approach to user re-authentication based on the data collected from the computer’s mouse device. Our underlying hypothesis is that one can successfully model user ...
DSD
2003
IEEE
14 years 3 months ago
2003
IEEE
Double precision floating-point arithmetic is inadequate for many scientific computations. This paper presents the design of a quadruple precision floating-point multiplier tha...