Follow
Jon Sneyers
Jon Sneyers
Cloudinary
Verified email at cloudinary.com - Homepage
Title
Cited by
Cited by
Year
FLIF: Free lossless image format based on MANIAC compression
J Sneyers, P Wuille
2016 IEEE international conference on image processing (ICIP), 66-70, 2016
1702016
The computational power and complexity of Constraint Handling Rules
J Sneyers, T Schrijvers, B Demoen
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (2), 1-42, 2009
1002009
As time goes by: constraint handling rules: a survey of CHR research from 1998 to 2007
J Sneyers, P Van Weert, T Schrijvers, L De Koninck
Theory and practice of logic programming 10 (1), 1-47, 2010
942010
Dijkstra's algorithm with Fibonacci heaps: An executable description in CHR
J Sneyers, T Schrijvers, B Demoen
CW Reports, 13-13, 2005
772005
JPEG XL next-generation image compression architecture and coding tools
J Alakuijala, R Van Asseldonk, S Boukortt, M Bruse, IM Comșa, ...
Applications of digital image processing XLII 11137, 112-124, 2019
612019
CHR (PRISM)-based probabilistic logic learning
J Sneyers, W Meert, J Vennekens, Y Kameya, T Sato
Theory and Practice of Logic Programming 10 (4-6), 433-447, 2010
352010
Extending CHR with negation as absence
P Van Weert, J Sneyers, T Schrijvers, B Demoen
CHR 6, 125-140, 2006
312006
APOPCALEAPS: Automatic music generation with CHRiSM
J Sneyers, D De Schreye
11th International Society for Music Information Retrieval Conference (ISMIR …, 2010
282010
Guard and continuation optimization for occurrence representations of CHR
J Sneyers, T Schrijvers, B Demoen
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005
202005
Benchmarking JPEG XL image compression
J Alakuijala, S Boukortt, T Ebrahimi, E Kliuchnikov, J Sneyers, E Upenik, ...
Optics, photonics and digital technologies for imaging applications VI 11353 …, 2020
192020
Join ordering for constraint handling rules
L De Koninck, J Sneyers
Fourth Workshop on Constraint Handling Rules, U. Porto, 107-121, 2007
172007
Memory reuse for CHR
J Sneyers, T Schrijvers, B Demoen
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006
172006
Turing-complete subclasses of CHR
J Sneyers
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
162008
Aggregates for CHR through program transformation
P Van Weert, J Sneyers, B Demoen
Logic-Based Program Synthesis and Transformation: 17th International …, 2008
132008
Optimizing Compilation and Computational Complexity of Constraint Handling Rules: Ph. D. Thesis Summary
J Sneyers
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
122009
Probabilistic-logical modeling of music
J Sneyers, J Vennekens, D De Schreye
Practical Aspects of Declarative Languages: 8th International Symposium …, 2006
122006
CHRiSM: Chance rules induce statistical models
J Sneyers, W Meert, J Vennekens
Proceedings of the Sixth International Workshop on Constraint Handling Rules …, 2009
112009
Guard Simplification in CHR programs
J Sneyers, T Schrijvers, B Demoen
CW Reports, 23-23, 2004
112004
Probabilistic legal reasoning in CHRiSM
J Sneyers, D De Schreye, T Fruehwirth
Theory and Practice of Logic Programming 13 (4-5), 769-781, 2013
102013
Aggregates in constraint handling rules
J Sneyers, P Van Weert, T Schrijvers, B Demoen
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007
102007
The system can't perform the operation now. Try again later.
Articles 1–20