Sciweavers

6054 search results - page 1048 / 1211
» Implementation of Andorra-based Languages
Sort
View
CATS
2007
14 years 7 days ago
Constructing Strictly Positive Families
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
Peter Morris, Thorsten Altenkirch, Neil Ghani
ICWS
2010
IEEE
14 years 7 days ago
WSExpress: A QoS-aware Search Engine for Web Services
Web services are becoming prevalent nowadays. Finding desired Web services is becoming an emergent and challenging research problem. In this paper, we present WSExpress (Web Servi...
Yilei Zhang, Zibin Zheng, Michael R. Lyu
ICWS
2010
IEEE
14 years 7 days ago
A Pattern-Driven Generation of Security Policies for Service-Oriented Architectures
Service-oriented Architectures support the provision, discovery, and usage of services in different application contexts. The Web Service specifications provide a technical founda...
Michael Menzel, Robert Warschofsky, Christoph Mein...
LREC
2010
146views Education» more  LREC 2010»
14 years 7 days ago
A Pilot Arabic CCGbank
We describe a process for converting the Penn Arabic Treebank into the CCG formalism. Previous efforts have yielded CCGbanks in English, German, and Turkish, thus opening these la...
Stephen A. Boxwell, Chris Brew
LREC
2010
223views Education» more  LREC 2010»
14 years 7 days ago
An API for Multi-lingual Ontology Matching
Ontology matching consists of generating a set of correspondences between the entities of two ontologies. This process is seen as a solution to data heterogeneity in ontology-base...
Cássia Trojahn dos Santos, Paulo Quaresma, ...
« Prev « First page 1048 / 1211 Last » Next »