3457 search results - page 104 / 692 » A Symbol Is Not a Symbol |
94
Voted
ENTCS
2007
15 years 20 days ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
132
Voted
KES
2007
Springer
15 years 17 days ago
2007
Springer
This paper provides an overview on the advances of music information retrieval in symbolic representation of music. Such musical aspects as key, tonality, bass, melody, dynamics, r...
135
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query. The evaluation semantics of an SQL query is tra...
97
Voted
ACL
2009
14 years 10 months ago
2009
This paper describes a parsing model for speech with repairs that makes a clear separation between linguistically meaningful symbols in the grammar and operations specific to spee...
260
click to vote
ICDAR
2009
IEEE
14 years 10 months ago
2009
IEEE
In this paper we present a novel shape descriptor based on shape context, which in combination with hierarchical distance based hashing is used for word and graphical pattern base...