1950 search results - page 243 / 390 » Lambda-Free Logical Frameworks |
157
click to vote
ACMSE
2005
ACM
16 years 3 days ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
184
click to vote
CIKM
2005
Springer
16 years 3 days ago
2005
Springer
Schema matching is the problem of finding correspondences (mapping rules, e.g. logical formulae) between heterogeneous schemas e.g. in the data exchange domain, or for distribute...
173
click to vote
ESWS
2005
Springer
16 years 2 days ago
2005
Springer
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
141
click to vote
ICCSA
2005
Springer
16 years 2 days ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
164
click to vote
ICLP
2005
Springer
16 years 2 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...