1453 search results - page 235 / 291 » Mining for Useful Association Rules Using the ATMS |
135
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
142
Voted
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
105
click to vote
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
In many data-publishing applications, the data owner needs to protect sensitive information pertaining to individuals. Meanwhile, certain information is required to be published. T...
122
Voted
CIG
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract- We present a concept for developing cooperative characters (agents) for computer games that combines coaching by a human with evolutionary learning. The basic idea is to ...
125
Voted
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...