Sciweavers

1750 search results - page 57 / 350
» E-Commerce Development Procedure
Sort
View
SIAMSC
2008
126views more  SIAMSC 2008»
15 years 3 months ago
Towards a Statistical Theory of Texture Evolution in Polycrystals
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 ...
CAV
2009
Springer
104views Hardware» more  CAV 2009»
16 years 4 months ago
SPEED: Symbolic Complexity Bound Analysis
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...
Sumit Gulwani
107
Voted
SUM
2009
Springer
15 years 10 months ago
Query Answering in Belief Logic Programming
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...
Hui Wan, Michael Kifer
127
Voted
INFOVIS
2005
IEEE
15 years 9 months ago
Graph-Theoretic Scagnostics
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...
MICCAI
2001
Springer
15 years 8 months ago
Performance Evaluation of a Cooperative Manipulation Microsurgical Assistant Robot Applied to Stapedotomy
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...