Sciweavers

705 search results - page 24 / 141
» System Diagnosability Analysis Using p-slop MAP
Sort
View
AUTOMATICA
2008
94views more  AUTOMATICA 2008»
14 years 9 months ago
Reachability analysis of continuous-time piecewise affine systems
This paper proposes an algorithm for the characterization of reachable sets of states for continuous-time piecewise affine systems. Given a model of the system and a bounded set o...
Abdullah Hamadeh, Jorge Goncalves
IPMI
2005
Springer
15 years 3 months ago
Cortical Surface Alignment Using Geometry Driven Multispectral Optical Flow
Spatial normalization is frequently used to map data to a standard coordinate system by removing inter-subject morphological differences, thereby allowing for group analysis to be ...
Duygu Tosun, Jerry L. Prince
SIAMJO
2010
107views more  SIAMJO 2010»
14 years 8 months ago
Second-Order Analysis of Polyhedral Systems in Finite and Infinite Dimensions with Applications to Robust Stability of Variation
Abstract. This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly imp...
René Henrion, Boris S. Mordukhovich, Nguyen...
75
Voted
PLDI
2010
ACM
15 years 2 months ago
Jinn: synthesizing dynamic bug detectors for foreign language interfaces
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Ro...
ACSW
2004
14 years 11 months ago
Visualisation and Comparison of Image Collections based on Self-organised Maps
Self-organised maps (SOM) have been widely used for cluster analysis and visualisation purposes in exploratory data mining. In image retrieval applications, SOMs have been used to...
Da Deng, Jianhua Zhang, Martin K. Purvis