1096 search results - page 65 / 220 » Computation Slicing: Techniques and Theory |
MM
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes a narrative-centered approach to learning using location-aware mobile devices, with theories of learning as the basis for a system that utilizes techniques fr...
Book
"Pattern recognition techniques are concerned with the theory and algorithms of putting abstract objects, e.g., measurements made on physical objects, into categories. Typical...
SAT
2004
Springer
14 years 1 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
BCSHCI
2007
13 years 9 months ago
2007
This paper reflects on the design value that emerges from evaluation methods used in the field of child computer interaction. The work is based around an evaluation study of a tan...