3457 search results - page 409 / 692 » A Symbol Is Not a Symbol |
201
click to vote
KR
2004
Springer
16 years 1 months 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...
180
click to vote
MLMI
2004
Springer
16 years 29 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...
197
click to vote
MOZ
2004
Springer
16 years 29 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...
185
click to vote
MPC
2004
Springer
16 years 29 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...
202
click to vote
SAS
2004
Springer
16 years 29 days ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....