Sciweavers

3212 search results - page 164 / 643
» Faster Concept Analysis
Sort
View
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 8 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
DAGM
2008
Springer
15 years 6 months ago
Model-Based Motion Capture for Crash Test Video Analysis
Abstract. In this work, we propose a model-based approach for estimating the 3D position and orientation of a dummy's head for crash test video analysis. Instead of relying on...
Juergen Gall, Bodo Rosenhahn, Stefan Gehrig, Hans-...
WSC
2000
15 years 5 months ago
Simulation based operational analysis of future space transportation systems
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
Alex J. Ruiz-Torres, Edgar Zapata
TFS
2008
112views more  TFS 2008»
15 years 4 months ago
Gradual Numbers and Their Application to Fuzzy Interval Analysis
Abstract-- We introduce a new way of looking at fuzzy intervals. Instead of considering them as fuzzy sets, we see them as crisp sets of entities we call gradual (real) numbers. Th...
Jérôme Fortin, Didier Dubois, H&eacut...
JMIV
2002
152views more  JMIV 2002»
15 years 4 months ago
Shape Connectivity: Multiscale Analysis and Application to Generalized Granulometries
This paper develops a multiscale connectivity theory for shapes based on the axiomatic definition of new generalized connectivity measures, which are obtained using morphology-base...
Costas S. Tzafestas, Petros Maragos