TPLP
2016
10 years 3 months ago
2016
this article: http://journals.cambridge.org/abstract_S1471068415000125 How to cite this article: Victor W. Marek Theory and Practice of Logic Programming, Available on CJO 2015 doi...
TPLP
2016
10 years 3 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
10 years 3 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
10 years 3 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
10 years 3 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...