search result

Cover von Assessing Neighborhood Conditions using Geographic Object-Based Image Analysis and Spatial Analysis (Short Paper)

Assessing Neighborhood Conditions using Geographic Object-Based Image Analysis and Spatial Analysis (Short Paper)

Year: 2018
Media group: LIPIcs
Cover von Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis

Year: 2007
Media group: ARTICLE
Cover von Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems

Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems

Year: 2019
Media group: OASICS
Cover von Reliability Modelling of Automated Guided Vehicles by the Use of Failure Modes Effects and Criticality Analysis, and Fault Tree Analysis

Reliability Modelling of Automated Guided Vehicles by the Use of Failure Modes Effects and Criticality Analysis, and Fault Tree Analysis

Year: 2016
Media group: OASICS
Cover von A practitioner's handbook for real-time analysis
guide to rate monotonic analysis for real-time systems
Search for this author
Year: 1993
Publisher: Boston, Kluwer
Series: The Kluwer international series in engineering and computer science; 230
Media group: MONOGRAPHIE
Cover von Improving Projection-based Data Analysis by Feature Space Transformations
article : 15 pp. : from SPIE Proceedings Conference Volume 8654, Visualization and Data Analysis 2013
Search for this author
Year: 2013
Publisher: Bellingham, SPIE
Series: SPIE Proceedings; 8654
Media group: ARTICLE
Cover von Advances in machine vision, image processing, and pattern analysis
international workshop on intelligent computing in pattern analysis / synthesis, Xi'an, China, August 26 - 27, 2006 : proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4153
Media group: MONOGRAPHIE
Cover von Formal techniques, modelling and analysis of timed and fault-tolerant systems
joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004, Grenoble, France, September 22 -24, 2004, proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3253
Media group: MONOGRAPHIE
Cover von Challenges at the Interface of Data Analysis, Computer Science, and Optimization
Proceedings of the 34th Annual Conference of the Gesellschaft für Klassifikation e. V., Karlsruhe, July 21 - 23, 2010
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Studies in classification, data analysis, and knowledge organization
Media group: MONOGRAPHIE
Cover von Special section on 3-D modeling in image analysis and synthesis
Search for this author
Year: 1993
Publisher: New York, IEEE
Series: IEEE transactions on pattern analysis and machine intelligence : 15. 1993, 6
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0