1852 search results - page 314 / 371 » Structured Ontology Format |
SIGCSE
2008
ACM
13 years 9 months ago
2008
ACM
Novices find it difficult to understand and use compiler error messages. It is useful to refine this observation and study the effect of different message styles on how well and q...
IJON
2007
13 years 9 months ago
2007
The primary somatosensory cortex contains a topographic map of the body surface, with two notable discontinuities — the representation of the face is next to that of the hands, ...
IVS
2007
13 years 9 months ago
2007
We revisit the design space of visualizations aiming at identifying and relating its components. In this sense, we establish a model to examine the process through which visualiza...
BMCBI
2005
13 years 9 months ago
2005
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
JLP
2007
13 years 8 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...