search result

Cover von Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
28th International Symposium, MASCOTS 2020, Nice, France, November 17-19, 2020, Revised Selected Papers
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12527
Media group: MONOGRAPHIE
Cover von Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data
Third International Workshop, STIA 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8682
Media group: MONOGRAPHIE
Cover von Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data
Second International Workshop, STIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Proceedings
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7570
Media group: MONOGRAPHIE
Cover von Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Joint Workshop, Paphos, Cyprus, March 27 - 28, 2010, Revised Selected Papers
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6186
Media group: MONOGRAPHIE
Cover von Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions
COST Action 2102 International Conference, Prague, Czech Republic, October 15 - 18, 2008 Revised Selected and Invited Papers
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5641
Media group: MONOGRAPHIE
Cover von Eighth Czech-Japanese seminar on data analysis and decision making under uncertainty; 4
special issue : S. 389-516
Search for this author
Year: 2006
Publisher: Prague, Institute of Information Theory and Automation
Kybernetika
Count: 4
Media group: SPECIAL ISSUE
Cover von Construction and analysis of safe, secure, and interoperable smart devices
second international workshop, Nice, France, March 8 - 11, 2005 : revised selected papers
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3956
Media group: MONOGRAPHIE
Cover von WCET Analysis of HLS-Generated Processors Using Abstract Interpretation

WCET Analysis of HLS-Generated Processors Using Abstract Interpretation

Year: 2026
Media group: LIPIcs
Cover von Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on Multiprocessors

Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on Multiprocessors

Year: 2026
Media group: LIPIcs
Cover von Part I.; Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
28th Iberoamerican Congress, CIARP 2025, Bogotá, Colombia, November 25-28, 2025, Proceedings, Part I
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science; 16528
Media group: MONOGRAPHIE
OPEN V 11.1.0.0