3457 search results - page 408 / 692 » A Symbol Is Not a Symbol |
190
click to vote
FSTTCS
2004
Springer
16 years 6 days ago
2004
Springer
The join of two sets of facts, E1 and E2, is defined as the set of all facts that are implied independently by both E1 and E2. Congruence closure is a widely used representation f...
156
click to vote
GPCE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
151
click to vote
ICCHP
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we describe Bliss2003, an Information and Communication Technology (ICT) aid for verbal impaired people supporting the use of Augmentative and Alternative Communicati...
170
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
173
Voted
ISMIR
2004
Springer
16 years 5 days ago
2004
Springer
We compare two methods of measuring melodic similarity for symbolically represented polyphonic music. Both exploit advantages of transportation distances such as continuity and pa...