1635 search results - page 214 / 327 » Reasoning from Data Rather than Theory |
NCA
2007
IEEE
14 years 3 months ago
2007
IEEE
The Internet is an extremely complex system, and it is essential that we be able to make accurate measurements in order to understand its underlying behavior or to detect improper...
ISCA
2005
IEEE
14 years 2 months ago
2005
IEEE
We propose “secret-protected (SP)” architecture to enable secure and convenient protection of critical secrets for a given user in an on-line environment. Keys are examples of...
PEPM
2004
ACM
14 years 2 months ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
UM
2010
Springer
14 years 2 months ago
2010
Springer
Recently, detectors of gaming the system have been developed for several intelligent tutoring systems where the problem-solving process is reified, and gaming consists of systemati...
VISUALIZATION
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper introduces a method for smoothing complex, noisy surfaces, while preserving (and enhancing) sharp, geometric features. It has two main advantages over previous approach...