Sciweavers

3166 search results - page 174 / 634
» Translation By Structural Correspondences
Sort
View
ISORC
1998
IEEE
15 years 10 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
ECCV
2006
Springer
15 years 10 months ago
Nonparametric Estimation of Multiple Structures with Outliers
Common problem encountered in the analysis of dynamic scene is the problem of simultaneous estimation of the number of models and their parameters. This problem becomes difficult a...
Wei Zhang, Jana Kosecká
ACSAC
2001
IEEE
15 years 10 months ago
Information Flow Analysis of Component-Structured Applications
Software component technology facilitates the costeffective development of specialized applications. Nevertheless, due to the high number of principals involved in a component-str...
Peter Herrmann
ICVGIP
2004
15 years 8 months ago
Geometric Structure Computation from Conics
This paper presents several results on images of various configurations of conics. We extract information about the plane from single and multiple views of known and unknown conic...
Pawan Kumar Mudigonda, C. V. Jawahar, P. J. Naraya...
BC
2005
55views more  BC 2005»
15 years 6 months ago
Spatial and temporal structure of phase synchronization of spontaneous alpha EEG activity
Spatiotemporal characteristics of spontaneous alpha EEG activity patterns are analyzed in terms of large-scale phase synchronization. During periods with strong phase synchronizati...
Junji Ito, Andrey R. Nikolaev, Cees van Leeuwen