Sciweavers

27692 search results - page 226 / 5539
» Where is ...
Sort
View
TABLEAUX
1997
Springer
14 years 2 months ago
Tableau Methods for PA-Processes
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...
Richard Mayr
CADE
1994
Springer
14 years 2 months ago
Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
Lars-Henrik Eriksson
CRYPTO
1993
Springer
131views Cryptology» more  CRYPTO 1993»
14 years 2 months ago
Hash Functions Based on Block Ciphers: A Synthetic Approach
Constructions for hash functions based on a block cipher are studied where the size of the hashcode is equal to the block length of the block cipher and where the key size is appro...
Bart Preneel, René Govaerts, Joos Vandewall...
SWAT
1992
Springer
116views Algorithms» more  SWAT 1992»
14 years 2 months ago
Sorting Multisets Stably in Minimum Space
Abstract. In a decision tree model, (n log2 n m i=1 ni log2 ni + n) is known to be a lower bound for sorting a multiset of size n containing m distinct elements, where the ith dist...
Jyrki Katajainen, Tomi Pasanen
CHI
1998
ACM
14 years 2 months ago
An Efficient Text Input Method for Pen-Based Computers
Pen-based computing has not yet taken off, partly because of the lack of fast and easy text input methods. The situation is even worse for people using East Asian languages, where...
Toshiyuki Masui