2498 search results - page 195 / 500 » A tool for materials exploration |
191
click to vote
JUCS
2002
15 years 6 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
308
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Due to its considerable ease of use, relational keyword search (R-KWS) has become increasingly popular. Its simplicity, however, comes at the cost of intensive query processing. Sp...
171
click to vote
VIS
2005
IEEE
16 years 7 months ago
2005
IEEE
We present the application of hardware accelerated volume rendering algorithms to the simulation of radiographs as an aid to scientists designing experiments, validating simulatio...
160
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Sites like YouTube offer vast sources of data for studies of Human Computer Interaction (HCI). However, they also present a number of methodological challenges. This paper offers ...
140
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
Ambient Sites are proximal. At our fingertips, under the soles of our feet, along the edge of a cheek, they are characterized by the permeability of boundaries, the sudden awarene...