Sciweavers

233 search results - page 2 / 47
» Intelligent compilers
Sort
View
69
Voted
WIA
2007
Springer
15 years 5 months ago
A New Method for Compiling Parallel Replacement Rules
Anssi Yli-Jyrä, Kimmo Koskenniemi
JELIA
2004
Springer
15 years 5 months ago
Automatic Compilation of Protocol Insecurity Problems into Logic Programming
Alessandro Armando, Luca Compagna, Yuliya Lierler
AAAI
2000
15 years 1 months ago
Compilability of Abduction
Paolo Liberatore, Marco Schaerf
71
Voted
AIPS
2000
15 years 1 months ago
Solving Planning-Graph by Compiling It into CSP
Minh Binh Do, Subbarao Kambhampati