2041 search results - page 62 / 409 » Modelling Generic Judgements |
131
click to vote
ISKI
1992
15 years 6 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
111
click to vote
ENTCS
2007
15 years 2 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
108
Voted
CORR
2000
Springer
15 years 2 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
100
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
We are developing an adaptive reminding system, which learns when and how to present notifications. In this paper, we focus on our XCS-based model, composed of two cascaded sets ...
109
Voted
SUTC
2006
IEEE
15 years 8 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...