2272 search results - page 315 / 455 » Capture Complexity by Partition |
115
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
The complexity of many problems necessitates creating and exploring multiple, alternative solutions. However, current user interfaces do not cleanly support creating alternatives ...
114
click to vote
CHI
2001
ACM
16 years 3 months ago
2001
ACM
In view of the difficulties in evaluating computer pointing devices across different tasks within dynamic and complex systems, new performance measures are needed. This paper prop...
130
Voted
RECOMB
2007
Springer
16 years 3 months ago
2007
Springer
Genetic instability represents an important type of biological markers for cancer and many other diseases. Array Comparative Genome Hybridization (aCGH) is a high-throughput cytoge...
144
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
118
Voted
OSDI
2004
ACM
16 years 3 months ago
2004
ACM
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...