2498 search results - page 150 / 500 » A tool for materials exploration |
VR
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describes real-time volumetric haptic and visual algorithms developed to simulate burrhole creation for a Virtual Realitybased craniotomy surgical simulator. A modifie...
CSCW
2002
ACM
13 years 8 months ago
2002
ACM
Organizations, families, institutions evolve a shared culture and history. In this work, we describe a system to facilitate conversation and storytelling about this collective pas...
SIAMSC
2008
13 years 8 months ago
2008
Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...
FLAIRS
2006
13 years 9 months ago
2006
In this article, we are presenting a semantic annotation tool for Arabic texts with a strategy adapted to the automatic location of reported information. The method used is that o...
CAV
2011
Springer
12 years 12 months ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...