Sciweavers

5718 search results - page 342 / 1144
» Modeling Rule Precision
Sort
View
WSC
1998
15 years 8 months ago
A Parametric Version of Jackknife-after-Bootstrap
In this paper, we investigate the problem of deriving precision estimates for bootstrap quantities within parametric families. Efron's [1992] jackknife-after-bootstrap is a s...
Jin Wang
BIRTHDAY
2010
Springer
15 years 7 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
FUIN
2007
86views more  FUIN 2007»
15 years 6 months ago
Advances in Symmetric Sandpiles
A symmetric version of the well-known SPM model for sandpiles is introduced. We prove that the new model has fixed point dynamics. Although there might be several fixed points, ...
Enrico Formenti, Benoît Masson, Theophilos P...
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 5 months ago
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
Karine Altisen, Yanhong Liu, Matthieu Moy
CAIP
2005
Springer
212views Image Analysis» more  CAIP 2005»
16 years 8 days ago
3D Modeling of Humans with Skeletons from Uncalibrated Wide Baseline Views
In order to achieve precise, accurate and reliable tracking of human movement, a 3D human model that is very similar to the subject is essential. In this paper, we present a new sy...
Chee Kwang Quah, André Gagalowicz, Richard ...