Sciweavers

4835 search results - page 817 / 967
» Refactoring Functional Programs
Sort
View
WECWIS
2003
IEEE
106views ECommerce» more  WECWIS 2003»
15 years 7 months ago
Contract Representation for Run-time Monitoring and Enforcement
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...
Carlos Molina-Jiménez, Santosh K. Shrivasta...
124
Voted
ITICSE
2003
ACM
15 years 7 months ago
Teaching undergraduate software design in a liberal arts environment using RoboCup
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...
Timothy Huang, Frank Swenton
119
Voted
SIGIR
2003
ACM
15 years 7 months ago
Question classification using support vector machines
Question classification is very important for question answering. This paper presents our research work on automatic question classification through machine learning approaches. W...
Dell Zhang, Wee Sun Lee
113
Voted
ADAEUROPE
2003
Springer
15 years 7 months ago
A Quality Model for the Ada Standard Container Library
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...
Xavier Franch, Jordi Marco
CP
2003
Springer
15 years 7 months ago
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search
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...
Stefano Bistarelli, Philippe Codognet, Kin Chuen H...