Sciweavers

2229 search results - page 15 / 446
» On Reporting Fold Differences
Sort
View
SIGECOM
2000
ACM
121views ECommerce» more  SIGECOM 2000»
14 years 10 days ago
Immunizing online reputation reporting systems against unfair ratings and discriminatory behavior
Reputation reporting systems have emerged as an important risk management mechanism in online trading communities. However, the predictive value of these systems can be compromise...
Chrysanthos Dellarocas
CSMR
1999
IEEE
14 years 9 days ago
A Software Defect Report and Tracking System in an Intranet
This paper describes a case study where SofTrack a Software Defect Report and Tracking System - was implemented using internet technology in a geographically distributed organizat...
António Silva Monteiro, Miguel Goulã...
FLAIRS
2006
13 years 9 months ago
Toward a Computational Model of Expert Tutoring: A First Report
We are exploring the differences between expert and less expert tutors with two goals: cognitive (what does tutoring tell us about learning) and applied (which features of tutorin...
Barbara Di Eugenio, Trina C. Kershaw, Xin Lu, Andr...
ICFP
2009
ACM
14 years 8 months ago
Experience report: seL4: formally verifying a high-performance microkernel
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
Gerwin Klein, Philip Derrin, Kevin Elphinstone
AAAI
2000
13 years 9 months ago
Anchoring Symbols to Sensor Data: Preliminary Report
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
Silvia Coradeschi, Alessandro Saffiotti