2498 search results - page 293 / 500 » A tool for materials exploration |
152
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
We formalize the problem of maintaining time-decaying aggregates and statistics of a data stream: the relative contribution of each data item to the aggregate is scaled down by a ...
142
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
152
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Proximity Toolkit is a toolkit that simplifies the exploration of interaction techniques based on proximity and orientations of people, tools, and large digital surfaces. ViconFac...
132
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
This paper considers a new approach that allows for the creation of typographic works through gestural interaction. It describes a prototype application called TextDraw, which is ...
163
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
Formative feedback can provide information about how learners develop their competences in a knowledge domain. This information can determine learners’ progress and is essential...