4835 search results - page 817 / 967 » Refactoring Functional Programs |
WECWIS
2003
IEEE
14 years 2 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
ITICSE
2003
ACM
14 years 2 months ago
2003
ACM
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
Question classification is very important for question answering. This paper presents our research work on automatic question classification through machine learning approaches. W...
ADAEUROPE
2003
Springer
14 years 2 months ago
2003
Springer
The existence of a standard container library has been largely recognized as a key feature for improving the quality and effectiveness of Ada programming. In this paper, we aim at...
CP
2003
Springer
14 years 2 months ago
2003
Springer
We provide a reformulation of the constraint hierarchies (CHs) framework based on the notion of error indicators. Adapting the generalized view of local consistency in semiring-ba...