4107 search results - page 560 / 822 » The Generalized Lambda Test |
256
click to vote
ICAIL
2003
ACM
16 years 16 days ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
149
click to vote
ITICSE
2003
ACM
16 years 16 days ago
2003
ACM
This paper describes a simple Unix-based repository that supports programming intensive courses. Initially motivated by the need to capture sample artifacts for the capstone cours...
175
click to vote
ITICSE
2003
ACM
16 years 16 days ago
2003
ACM
This paper discusses an approach to the electronic (automatic) marking of examination papers, in particular, the extent to which it is possible to mark a candidate’s answers aut...
174
click to vote
IUI
2003
ACM
16 years 16 days ago
2003
ACM
One of the biggest unaddressed challenges for the digital economy is what to do when electronic transactions go wrong. Consumers are frustrated by interminable phone menus, and lo...
226
click to vote
IUI
2003
ACM
16 years 16 days ago
2003
ACM
The experience of a trusted group of colleagues can help users improve the quality and focus of their browsing and searching activities. How could a system provide such help, when...