2498 search results - page 414 / 500 » A tool for materials exploration |
101
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
IUI
2010
ACM
15 years 1 months ago
2010
ACM
We present Luminoso, a tool that helps researchers to visualize and understand a dimensionality-reduced semantic space by exploring it interactively. It also streamlines the proce...
CHI
2010
ACM
15 years 1 months ago
2010
ACM
This paper illustrates our preliminary studies of new interactive tools that support the generation of sequential art for entertainment, learning and scientific discourse. In the ...
APVIS
2010
15 years 1 months ago
2010
Information visualization shows tremendous potential for helping both expert and casual users alike make sense of temporal data, but current time series visualization tools provid...
114
click to vote
FORTE
2010
15 years 1 months ago
2010
Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in particular, the nodes are limited in power resources. It can be difficult and costly to rep...