3108 search results - page 321 / 622 » The Elements of Computer Credibility |
190
click to vote
TABLETOP
2007
IEEE
16 years 28 days ago
2007
IEEE
Mixed-presence tabletop interfaces aim to support collaboration between remote groups. However, it is unclear why tabletop interaction techniques should be important for mixed-pre...
187
click to vote
FCT
2007
Springer
16 years 25 days ago
2007
Springer
We present quantum query complexity bounds for testing algebraic properties. For a set S and a binary operation on S, we consider the decision problem whether S is a semigroup or ...
185
click to vote
FIMH
2007
Springer
16 years 25 days ago
2007
Springer
This article proposes a hyperelastic 3D deformable template for the segmentation of soft structures. It relies on a template, which is a topological, geometrical and material model...
166
click to vote
GTTSE
2007
Springer
16 years 25 days ago
2007
Springer
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...
209
click to vote
ICCS
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we deal with performance analysis of Monte Carlo algorithm for large linear algebra problems. We consider applicability and efficiency of the Markov chain Monte Carlo...