1699 search results - page 251 / 340 » On the Expressive Power of QLTL |
167
click to vote
LPNMR
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
153
click to vote
MCETECH
2009
Springer
16 years 19 days ago
2009
Springer
Access control rules are currently administered by highly qualified personnel. Thus, the technical barrier that specialized access control languages represent naturally prevents th...
153
Voted
OOPSLA
2009
Springer
16 years 18 days ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
133
click to vote
PKDD
2009
Springer
16 years 18 days ago
2009
Springer
Subgroup discovery is a local pattern discovery task, in which descriptions of subpopulations of a database are evaluated against some quality function. As standard quality functio...
227
click to vote
ICAS
2008
IEEE
16 years 16 days ago
2008
IEEE
A Multi-target user interface is composed of a series of interconnected variations of the same user interfaces, but tailored for different targets or different contexts of use. Wh...