4767 search results - page 675 / 954 » Structures for Abstract Rewriting |
104
click to vote
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
In order to deal with the diversified nature of XML documents as well as individual user preferences, we propose a novel Multiodel (MRM), which is able to abstract a spectrum of i...
105
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Ontologies are a common approach to improve semantic interoperability by explicitly specifying the vocabulary used by a particular information community. Complex expressi...
95
Voted
CRYPTO
2009
Springer
15 years 7 months ago
2009
Springer
sion of an extended abstract published in Proceedings of Crypto 2009, Springer-Verlag, 2009. Available from the IACR Cryptology ePrint Archive as Report 2008/510. We show that an ...
91
Voted
CSR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study structural properties of restricted width arithmetical circuits. It is shown that syntactically multilinear arithmetical circuits of constant width can be effici...