552 search results - page 46 / 111 » Languages Modulo Normalization |
PADL
2007
Springer
14 years 5 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
VL
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper describes an alternative form of interaction for mobile devices using crossmodal output. These crossmodal displays allow alternative senses such as hearing and touch to...
AUSAI
2004
Springer
14 years 4 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
CICLING
2001
Springer
14 years 3 months ago
2001
Springer
The problem of document categorization is considered. The set of domains and the keywords specific for these domains is supposed to be selected beforehand as initial data. We apply...
ESOP
1999
Springer
14 years 3 months ago
1999
Springer
ull articles not 12 page abstracts, and are the normal form of refereed publication. The top conferences in each sub eld (like POPL below) typically have the highest impact f...