Sciweavers

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