4902 search results - page 52 / 981 » Structures, Semantics and Statistics |
TVCG
2010
13 years 9 months ago
2010
—A major obstacle in the appreciation of classical music is that extensive training is required to understand musical structure and compositional techniques toward comprehending ...
COLING
1992
14 years 10 days ago
1992
A small fragment of the Systemic Functional Grammar of the PENMANsystem is reformulated in the Typed Feature Structure language. Through this reformulation wc gain full reversibil...
IAT
2010
IEEE
13 years 9 months ago
2010
IEEE
Representing web data into a machine understandable format is a curtail task for the next generation of the web. Most of current web pages are dynamic pages. A large percentage of...
TLCA
2009
Springer
14 years 5 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
LICS
2006
IEEE
14 years 5 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...