TPLP
2016
9 years 11 months ago
2016
The paper introduces a new modular action language, ALM, and illustrates the methodology of its use. It is based on the approach of Gelfond and Lifschitz (1993; 1998) in which a h...
TPLP
2016
9 years 11 months ago
2016
ion and Optimization of Abstract Machines in a Dialect of Prolog∗ October 2009 facultad de inform´atica universidad polit´ecnica de madrid J. F. Morales M. Carro M. Hermenegild...
TPDS
2016
9 years 11 months ago
2016
—Particle filters are important techniques to support data assimilation for large-scale spatial temporal simulation systems. Distributed particle filters improve the performance ...
TOS
2016
9 years 11 months ago
2016
—Shingled Magnetic Recording (SMR) is a means of increasing the density of hard drives that brings a new set of challenges. Due to the nature of SMR disks, updating in place is n...
TOS
2016
9 years 11 months ago
2016
—File-system snapshots have been a key component of enterprise storage management since their inception. Creating and managing them efficiently, while maintaining flexibility a...
TOPLAS
2016
9 years 11 months ago
2016
TOPLAS
2016
9 years 11 months ago
2016
al Key Words and Phrases: Static analysis, context-sensitive analysis, abstract interpretation ACM Reference Format: ACM Trans. Program. Lang. Syst. V, N, Article A (January YYYY),...
TOPICS
2016
9 years 11 months ago
2016
Decisions in the environmental and in particular the climate domain are burdened with uncertainty. Here, we focus on uncertainties faced by individuals when making decisions about...
TOPICS
2016
9 years 11 months ago
2016
The scientific knowledge needed to engage with policy issues like climate change, vaccination, and stem cell research often conflicts with our intuitive theories of the world. H...
TOPICS
2016
9 years 11 months ago
2016
The goal of cognitive modeling is to build faithful simulations of human cognition. One of the challenges is that multiple models can often explain the same phenomena. Another cha...