Sciweavers

289 search results - page 53 / 58
» Detecting Errors in Semantic Annotation
Sort
View
ICDE
2006
IEEE
131views Database» more  ICDE 2006»
15 years 11 months ago
On the Controlled Evolution of Process Choreographies
Process?aware information systems have to be frequently adapted due to business process changes. One important challenge not adequately addressed so far concerns the evolution of ...
Stefanie Rinderle, Andreas Wombacher, Manfred Reic...
IPMI
2005
Springer
15 years 10 months ago
Inverse Consistent Mapping in 3D Deformable Image Registration: Its Construction and Statistical Properties
Abstract. This paper presents a new approach to inverse consistent image registration. A uni-directional algorithm is developed using symmetric cost functionals and regularizers. I...
Alex D. Leow, Sung-Cheng Huang, Alex Geng, James T...
WWW
2008
ACM
15 years 10 months ago
Structured objects in owl: representation and reasoning
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
ESOP
2009
Springer
15 years 4 months ago
Exploring the Design Space of Higher-Order Casts
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
Jeremy G. Siek, Ronald Garcia, Walid Taha
WECWIS
2005
IEEE
142views ECommerce» more  WECWIS 2005»
15 years 3 months ago
Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
Friedrich H. Vogt, Simon Zambrovski, Boris Gruschk...