Sciweavers

88 search results - page 14 / 18
» Expressing Implicit Semantic Relations without Supervision
Sort
View
WECWIS
2003
IEEE
97views ECommerce» more  WECWIS 2003»
14 years 4 months ago
Matchmaking for Business Processes
Web services have a potential to enhance B2B ecommerce over the Internet by allowing companies and organizations to publish their business processes on service directories where p...
Andreas Wombacher, Peter Fankhauser, Bendick Mahle...
PODS
2008
ACM
165views Database» more  PODS 2008»
14 years 11 months ago
Data exchange and schema mappings in open and closed worlds
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...
Leonid Libkin, Cristina Sirangelo
CORR
2011
Springer
173views Education» more  CORR 2011»
13 years 5 months ago
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
CSL
2009
Springer
14 years 5 months ago
Enriching an Effect Calculus with Linear Types
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
Jeff Egger, Rasmus Ejlers Møgelberg, Alex S...
VLDB
1991
ACM
171views Database» more  VLDB 1991»
14 years 2 months ago
Language Constructs for Programming Active Databases
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
Richard Hull, Dean Jacobs