1008 search results - page 103 / 202 » Canonicity! |
123
click to vote
ISSAC
2004
Springer
15 years 9 months ago
2004
Springer
We describe an algorithm for finding a canonical image of a set of points under the action of a permutation group. Specifically if we order images by sorting them and ordering t...
130
Voted
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...
113
click to vote
TAL
2004
Springer
15 years 8 months ago
2004
Springer
This work is about derivational suffixes, endings and prefixes of the Spanish language, which are useful for the establishment of about 70000 suffixal and 11000 prefixal extended m...
180
click to vote
WAC
2004
Springer
15 years 8 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
106
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...