Sciweavers

3818 search results - page 205 / 764
» Word Problems on Compressed Words
Sort
View
ICALP
2009
Springer
16 years 6 months ago
Weak Alternating Timed Automata
Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for the automata is deci...
Pawel Parys, Igor Walukiewicz
INDOCRYPT
2003
Springer
15 years 11 months ago
Public Key Cryptosystems Based on Free Partially Commutative Monoids and Groups
At INDOCRYPT 2003 Abisha, Thomas, and Subramanian proposed two public key schemes based on word problems in free partially commutative monoids and groups. We show that both propos...
P. J. Abisha, D. G. Thomas, K. G. Subramanian
FC
2001
Springer
91views Cryptology» more  FC 2001»
15 years 11 months ago
On the Global Content PMI: Improved Copy-Protected Internet Content Distribution
This article addresses a problem with copy-protecting a large collection of electronic content. The notion and severity of a generic attack are raised in the context of Adams and Z...
Tadayoshi Kohno, Mark McGovern
FROCOS
2000
Springer
15 years 10 months ago
Combining Equational Theories Sharing Non-Collapse-Free Constructors
In this paper we extend the applicability of our combination method for decision procedures for the word problem to theories sharing non-collapse-free constructors. This extension ...
Franz Baader, Cesare Tinelli
COMPSYSTECH
2007
15 years 8 months ago
Computer-based plagiarism detection methods and tools: an overview
: The paper is dedicated to plagiarism problem. The ways how to reduce plagiarism: both: plagiarism prevention and plagiarism detection are discussed. Widely used plagiarism detect...
Romans Lukashenko, Vita Graudina, Janis Grundspenk...