3066 search results - page 315 / 614 » On Facilitating Automated Evaluation |
221
click to vote
ER
1997
Springer
15 years 11 months ago
1997
Springer
Several decades of software engineering research confirm that effective reuse is the only realistic approach to meeting the ever-increasing demands on the software industry. Over ...
223
click to vote
ICLP
1994
Springer
15 years 11 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
180
click to vote
PLILP
1992
Springer
15 years 11 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
160
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Medical reports are predominantly written in natural language; as such they are not computer-accessible. A common way to make medical narrative accessible to automated sy...
183
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Microfluidic biochips are revolutionizing many areas of biochemistry and biomedical sciences. Several synthesis tools have recently been proposed for the automated design of bioch...