2638 search results - page 343 / 528 » A Framework for Automatic Debugging |
218
click to vote
BIB
2005
15 years 6 months ago
2005
The volume of biomedical literature is increasing at such a rate that it is becoming difficult to locate, retrieve and manage the reported information without text mining, which a...
170
click to vote
KI
2007
Springer
15 years 6 months ago
2007
Springer
Engineering adaptive Web applications implies the development of content that can be automatically adjusted to varying client devices and user preferences. To meet this requiremen...
197
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
207
click to vote
JSA
2008
15 years 6 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
169
click to vote
PVLDB
2008
15 years 6 months ago
2008
This paper presents a framework for automatically generating structural XML documents. The user provides a target DTD and an example of an XML document, called a Generate-XML-ByEx...