84 search results - page 11 / 17 » A Chart Semantics for the Pi-Calculus |
IFM
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
ACL
1998
13 years 9 months ago
1998
The multiplicative fragment of linear logic has found a number of applications in computational linguistics: in the "glue language" approach to LFG semantics, and in the...
EKAW
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
JOI
2010
13 years 6 months ago
2010
Latent Semantic Analysis (LSA) is a relatively new research tool with a wide range of applications in different fields ranging from discourse analysis to cognitive science, from i...