455 search results - page 26 / 91 » Understanding Counterexamples with explain |
102
Voted
CSJM
2008
15 years 1 months ago
2008
Faug`ere's criterion used in the F5 algorithm is still not understand and thus there are not many implementations of this algorithm. We state its proof using syzygies to expl...
155
Voted
ISSTA
2012
ACM
13 years 5 months ago
2012
ACM
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring the quality of bug-fixing patches is a difficult task that affects both func...
120
click to vote
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
106
click to vote
WEBI
2005
Springer
15 years 8 months ago
2005
Springer
One of the principal problems of online help is the mismatch between the specialized knowledge and technical vocabulary of experts who are providing the help, and the relative na...
120
Voted
ECIS
2011
14 years 2 months ago
2011
This paper discusses critical success factors (CSF) and best practice in relation to IT implementation in the health sector. We have studied a University Hospital’s implementati...