Sciweavers

368 search results - page 8 / 74
» Compositional performance modelling with the TIPPtool
Sort
View
COMPOS
1997
Springer
15 years 1 months ago
Compositional Refinement of Interactive Systems Modelled by Relations
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
Manfred Broy
CVPR
2009
IEEE
15 years 1 months ago
Switching Gaussian Process Dynamic Models for simultaneous composite motion tracking and recognition
Traditional dynamical systems used for motion tracking cannot effectively handle high dimensionality of the motion states and composite dynamics. In this paper, to address both is...
Jixu Chen, Minyoung Kim, Yu Wang, Qiang Ji
CVPR
2007
IEEE
15 years 11 months ago
Composite Models of Objects and Scenes for Category Recognition
This paper presents a method of learning and recognizing generic object categories using part-based spatial models. The models are multiscale, with a scene component that specifie...
David J. Crandall, Daniel P. Huttenlocher
COMPOS
1997
Springer
15 years 1 months ago
Compositional Reasoning in Model Checking
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
Sergey Berezin, Sérgio Vale Aguiar Campos, ...
IMAGING
2000
14 years 11 months ago
A Composite Spectral Model and Its Applications
A new spectral representation called the composite model is proposed. Its key point is to decompose all spectra into a smooth background and a collection of spikes. The smooth par...
Yinlong Sun, F. David Fracchia, Mark S. Drew