3792 search results - page 565 / 759 » Techniques for Trusted Software Engineering |
167
click to vote
AVI
2006
15 years 8 months ago
2006
We present an experiment that compares volumetric displays to existing 3D display techniques in three tasks that require users to perceive depth in 3D scenes. Because they generat...
173
click to vote
AVI
2006
15 years 8 months ago
2006
During grouping tasks for data exploration and sense-making, the criteria are normally not well-defined. When users are bringing together data objects thought to be similar in som...
206
click to vote
AVI
2006
15 years 8 months ago
2006
Heuristic evaluation is a well known discount evaluation technique in HCI but has not been utilized in Information Visualization (InfoVis) to the same extent. While several sets o...
186
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...
182
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
With power becoming a major constraint for multi-processor embedded systems, it is becoming important for designers to characterize and model processor power dissipation. It is cr...