158 search results - page 13 / 32 » Space Efficiency of Propositional Knowledge Representation F... |
153
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...
151
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
137
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
156
click to vote
AAAI
2000
15 years 5 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
183
click to vote
KNINVI
2005
Springer
15 years 9 months ago
2005
Springer
The timeworn claim that a picture is worth a thousand words is generally well-supported by empirical evidence, suggesting that diagrams and other information graphics can enhance h...