3457 search results - page 409 / 692 » A Symbol Is Not a Symbol |
183
click to vote
KR
2004
Springer
16 years 5 days ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
164
click to vote
MLMI
2004
Springer
16 years 5 days ago
2004
Springer
A polyglot text-to-speech synthesis system which is able to read aloud mixed-lingual text has first of all to derive the correct pronunciation. This is achieved with an accurate m...
172
click to vote
MOZ
2004
Springer
16 years 5 days ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
166
click to vote
MPC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
173
click to vote
SAS
2004
Springer
16 years 5 days ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....