5671 search results - page 943 / 1135 » A Semantic Approach to Interpolation |
237
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
The term "application profile" has recently become highly topical. Heery and Patel [1] define application profiles as metadata schemas which consist of metadata elements...
185
click to vote
DIS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
239
click to vote
ICLP
2004
Springer
16 years 16 days ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
192
click to vote
CICLING
2003
Springer
16 years 12 days ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
226
click to vote
SACMAT
2010
ACM
16 years 2 hour ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...