3224 search results - page 88 / 645 » Abstract Error Projection |
122
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
170
click to vote
JLP
2007
15 years 6 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
183
click to vote
PVLDB
2008
15 years 5 months ago
2008
Though inevitable for effective cost-based query rewriting, the derivation of meaningful cardinality estimates has remained a notoriously hard problem in the context of XQuery. By...
202
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
147
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. We describe a new approach to predicting the maximum target registration error for fiducial registration. The approach is based on the analysis of a spatial stiffness mod...