Sciweavers

8499 search results - page 86 / 1700
» cans 2009
Sort
View
113
Voted
SEMWEB
2009
Springer
15 years 7 months ago
LinkedGeoData: Adding a Spatial Dimension to the Web of Data
Abstract. In order to employ the Web as a medium for data and information integration, comprehensive datasets and vocabularies are required as they enable the disambiguation and al...
Sören Auer, Jens Lehmann, Sebastian Hellmann
97
Voted
SEMWEB
2009
Springer
15 years 7 months ago
Learning to Map Ontologies with Neural Network
In this paper the authors applied the idea of training multiple tasks simultaneously on a partially shared feed forward network to domain of ontology mapping. A ā€œcross trainingā€...
Yefei Peng, Paul W. Munro, Ming Mao
117
Voted
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
15 years 7 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
172
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
Automated Synthesis of Tableau Calculi
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
Renate A. Schmidt, Dmitry Tishkovsky
97
Voted
EICS
2009
ACM
15 years 7 months ago
Social network analysis and interactive device design analysis
What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely...
Harold W. Thimbleby, Patrick Oladimeji