Sciweavers

84 search results - page 11 / 17
» A Chart Semantics for the Pi-Calculus
Sort
View
IFM
1999
Springer
101views Formal Methods» more  IFM 1999»
15 years 3 months ago
A Modular Framework for the Integration of Heterogeneous Notations and Tools
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...
Robert Büssow, Wolfgang Grieskamp
ACL
1998
15 years 29 days ago
Memoisation for Glue Language Deduction and Categorial Parsing
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...
Mark Hepple
EKAW
2004
Springer
15 years 5 months ago
Semantic Webs for Learning: A Vision and Its Realization
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...
Arthur Stutt, Enrico Motta
91
Voted
ICFEM
2005
Springer
15 years 5 months ago
Visualizing and Simulating Semantic Web Services Ontologies
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...
Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun
JOI
2010
130views more  JOI 2010»
14 years 10 months ago
Diffusion of latent semantic analysis as a research tool: A social network analysis approach
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...
Yasar Tonta, Hamid R. Darvish