866 search results - page 73 / 174 » A compositional semantics for CHR |
143
Voted
ENTCS
2007
15 years 5 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
151
click to vote
WISE
2007
Springer
15 years 11 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
143
Voted
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
Semantic Web Services offer the possibility of highly flexible web service architectures, where new services can be quickly discovered, orchestrated and composed into workflows....
159
click to vote
ACL
2007
15 years 6 months ago
2007
Convolution tree kernel has shown promising results in semantic role classification. However, it only carries out hard matching, which may lead to over-fitting and less accurate s...
135
Voted
TVCG
2010
15 years 3 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 ...