Sciweavers

3516 search results - page 333 / 704
» Programming Languages: Application and Interpretation
Sort
View
GG
2008
Springer
15 years 7 months ago
Transformation-Based Operationalization of Graph Languages
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
Erhard Weinell
COOPIS
2003
IEEE
16 years 2 days ago
Advertising Games for Web Services
In: Proceedings of the Eleventh International Conference on Cooperative Information Systems (CoopIS-03), pp. 93–109, Springer-Verlag LNCS Series. c 2003 by Springer-Verlag. We a...
Alessandro Agostini, Paolo Avesani
EACL
2009
ACL Anthology
16 years 7 months ago
Using Lexical and Relational Similarity to Classify Semantic Relations
Many methods are available for computing semantic similarity between individual words, but certain NLP tasks require the comparison of word pairs. This paper presents a kernel-bas...
Ann A. Copestake, Diarmuid Ó Séaghdh...
FASE
2008
Springer
15 years 8 months ago
A Model Checking Approach for Verifying COWS Specifications
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
Alessandro Fantechi, Stefania Gnesi, Alessandro La...
ECAI
2010
Springer
15 years 7 months ago
Majority Merging: from Boolean Spaces to Affine Spaces
Abstract. This paper is centered on the problem of merging (possibly conflicting) information coming from different sources. Though this problem has attracted much attention in pro...
Jean-François Condotta, Souhila Kaci, Pierr...