Sciweavers

868 search results - page 1 / 174
» Debugging for Model Expansion
Sort
View
160
Voted
ICLP
2009
Springer
16 years 1 months ago
Debugging for Model Expansion
Johan Wittocx, Hanne Vlaeminck, Marc Denecker
99
Voted
SCP
2010
148views more  SCP 2010»
14 years 11 months ago
Debugging hygienic macros
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
Ryan Culpepper, Matthias Felleisen
114
Voted
GPCE
2007
Springer
15 years 6 months ago
Debugging macros
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
Ryan Culpepper, Matthias Felleisen
ACL
2007
15 years 2 months ago
Statistical Machine Translation for Query Expansion in Answer Retrieval
We present an approach to query expansion in answer retrieval that uses Statistical Machine Translation (SMT) techniques to bridge the lexical gap between questions and answers. S...
Stefan Riezler, Alexander Vasserman, Ioannis Tsoch...
107
Voted
AI
2002
Springer
15 years 16 days ago
On the relationship between model-based debugging and program slicing
Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI te...
Franz Wotawa