Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...
K. Barmak, M. Emelianenko, Dmitry Golovaty, David ...
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...
We introduce Tukey and Tukey scagnostics and develop graphtheoretic methods for implementing their procedure on large datasets. CR Categories: H.5.2 [User Interfaces]: Graphical U...
Leland Wilkinson, Anushka Anand, Robert L. Grossma...
Abstract. This paper reports the development of a full-scale instrumented model of the human ear that permits quantitative evaluation of the utility of a microsurgical assistant ro...
Peter J. Berkelman, Daniel L. Rothbaum, Jaydeep Ro...