866 search results - page 45 / 174 » A compositional semantics for CHR |
ICWL
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...
IAT
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper addresses the dynamic service selection and composition issues for the satisfaction of user requirements. We propose an approach in which agents perform service composi...
ECOWS
2004
Springer
14 years 3 months ago
2004
Springer
Several extensions of the Web Services Framework have been proposed. The combination with Semantic Web technologies introduces a notion of semantics, which can enhance scalability ...
CLEIEJ
2007
13 years 9 months ago
2007
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation, composition, if, skip and while...
WWW
2002
ACM
14 years 10 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...