Sciweavers

2556 search results - page 312 / 512
» The Triconnected Abstraction of Process Models
Sort
View
UML
2001
Springer
15 years 11 months ago
A UML-integrated Test Description Language for Component Testing
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
Simon Pickin, Claude Jard, Thierry Heuillard, Jean...
DAGM
2000
Springer
15 years 11 months ago
Structured Covariance Matrices for Statistical Image Object Recognition
Abstract. In this paper we present di erent approaches to structuring covariance matrices within statistical classi ers. This is motivated by the fact that the use of full covarian...
Jörg Dahmen, Daniel Keysers, Michael Pitz, He...
IEAAIE
1998
Springer
15 years 11 months ago
Complexity and Cognitive Computing
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...
Lourdes Mattos Brasil, Fernando Mendes de Azevedo,...
ICIAP
1997
ACM
15 years 11 months ago
Estimating Translation/Deformation Motion through Phase Correlation
Abstract. Phase correlation techniques have been used in image registration to estimate image displacements. These techniques have been also used to estimate optical ow by applying...
Filiberto Pla, Miroslaw Bober
APN
2006
Springer
15 years 11 months ago
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
Thomas Chatain, Claude Jard