7167 search results - page 430 / 1434 » Answer Set Programming |
171
Voted
PPOPP
2011
ACM
14 years 6 months ago
2011
ACM
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...
144
Voted
AAAI
2012
13 years 6 months ago
2012
We consider symbolic dynamic programming (SDP) for solving Markov Decision Processes (MDP) with factored state and action spaces, where both states and actions are described by se...
123
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
We consider the following problem: given an unsorted array of n elements, and a sequence of intervals in the array, compute the median in each of the subarrays defined by the inter...
116
Voted
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
111
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Information visualisation benefits from the Semantic Web: multimodal mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. Natural l...