Search results for "school"

Hits ?▲	Authors	Title	Venue	Year	Link
25	Tiago H. Moreira de Oliveira	The emotion-aware city: using ambient geographic information (AGI) in order to understand emotion & stress within smart cities.	AGILE PhD School	2015	DBLP BibTeX RDF
25	Olga Yanenko	Volunteered geographic information and data quality - the case of social reporting.	AGILE PhD School	2015	DBLP BibTeX RDF
25	Patrizia Sulis, Ed Manley	Detecting unstructured events through multi-source data analysis.	AGILE PhD School	2015	DBLP BibTeX RDF
25	Thomas Heinz 0002	A pattern-based design environment for creating geogames.	AGILE PhD School	2015	DBLP BibTeX RDF
25	Stefania Zourlidou, Monika Sester	Road regulation sensing with in-vehicle sensors.	AGILE PhD School	2015	DBLP BibTeX RDF
25	Felix Hübner, Jan Peleska 0001	Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Paula Herber, Sabine Glesner	Verification of Embedded Real-time Systems.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Gökçe Aydos, Görschwin Fey	In-circuit Error Detection with Software-based Error Correction - An Alternative to TMR.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Christoph Hilken, Jan Peleska 0001	Model-Based Testing Against Complex SysML Models.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Sami Haddadin	Physical Safety in Robotics.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Felix Wenk, Udo Frese	Pose and Posture Estimation using Inertial Sensor Data.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Frédéric Mallet	MARTE/CCSL for Modeling Cyber-Physical Systems.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Matthias Goldhoorn, Frank Kirchner	Constraint-based Handling of Component Networks.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Judith Peters, Rolf Drechsler	Analyzing and Simulating Time Descriptions from UML/MARTE CCSL.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Julia Seiter 0002, Rolf Drechsler	Development of Consistent Formal Models.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Bernd Becker 0001, Matthias Sauer 0002, Christoph Scholl 0001, Ralf Wimmer 0001	Modeling Unknown Values in Test and Verification.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Hendrik Wöhrle, Frank Kirchner	Reconfigurable Hardware-Based Acceleration for Machine Learning and Signal Processing.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Niels Thole, Görschwin Fey	Formal Verification of Robustness.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Melanie Diepenbeck, Rolf Drechsler	Behavior Driven Development for Tests and Verification.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Klaus Havelund, Giles Reger	Specification of Parametric Monitors.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Elsa Andrea Kirchner, Jose de Gea Fernandez, Peter Kampmann, Martin Schröer, Jan Hendrik Metzen, Frank Kirchner	Intuitive Interaction with Robots - Technical Approaches and Challenges.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Xian Li 0002, Klaus Schneider 0001	An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Malgorzata Goldhoorn, Frank Kirchner	Semantic Object Recognition Based on Qualitative Probabilistic Spatial Relations.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Eleonora Schönborn, Rolf Drechsler	Design and Synthesis of Reversible Circuits using Hardware Description Languages.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Dennis Schüthe, Udo Frese	Dynamic Rebound Control and Human Robot Interaction of a Ball Playing Robot.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Goran Frehse	An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Anne E. Haxthausen, Jan Peleska 0001	Model Checking and Model-Based Testing in the Railway Domain.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Mohamed Ibrahim 0002, Zipeng Li, Krishnendu Chakrabarty	Advances in Design Automation Techniques for Digital-Microfluidic Biochips.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
25	Stephan Mäs, Lars Bernard, Hardy Pundt (eds.)	Proceedings of the 2nd AGILE PhD School 2013, Frauenwörth, Lake Chiemsee, Germany, September 30 - October 2, 2013.	AGILE PhD School	2014	DBLP BibTeX RDF
25	Nicola Ferro 0001 (eds.)	Bridging Between Information Retrieval and Databases - PROMISE Winter School 2013, Bressanone, Italy, February 4-8, 2013. Revised Tutorial Lectures	ROMISE Winter School	2014	DBLP DOI BibTeX RDF
25	Zhiming Liu 0001, Jim Woodcock 0001, Huibiao Zhu (eds.)	Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures	ICTAC Training School on Software Engineering	2013	DBLP DOI BibTeX RDF
25	Maristella Agosti, Nicola Ferro 0001, Pamela Forner, Henning Müller, Giuseppe Santucci (eds.)	Information Retrieval Meets Information Visualization - PROMISE Winter School 2012, Zinal, Switzerland, January 23-27, 2012, Revised Tutorial Lectures	ROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Ethan K. Jackson, Wolfram Schulte	FORMULA 2.0: A Language for Formal Specifications.	ICTAC Training School on Software Engineering	2013	DBLP DOI BibTeX RDF
25	Simon Foster 0001, Jim Woodcock 0001	Unifying Theories of Programming in Isabelle.	ICTAC Training School on Software Engineering	2013	DBLP DOI BibTeX RDF
25	Ruzhen Dong, Johannes Faber, Wei Ke 0001, Zhiming Liu 0001	rCOS: Defining Meanings of Component-Based Software Architectures.	ICTAC Training School on Software Engineering	2013	DBLP DOI BibTeX RDF
25	Naijun Zhan, Shuling Wang, Hengjun Zhao	Formal Modelling, Analysis and Verification of Hybrid Systems.	ICTAC Training School on Software Engineering	2013	DBLP DOI BibTeX RDF
25	Uli Fahrenberg, Kim G. Larsen, Axel Legay	Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.	ICTAC Training School on Software Engineering	2013	DBLP DOI BibTeX RDF
25	Laura Kinley	Towards the use of Citizen Sensor Information as an Ancillary Tool for the Thematic Classification of Ecological Phenomena.	AGILE PhD School	2013	DBLP BibTeX RDF
25	Adrien Maudet	Interactions between Levels in an Agent Oriented Model for Generalisation.	AGILE PhD School	2013	DBLP BibTeX RDF
25	Tiago Gonçalves, Ana Paula Afonso 0001, Bruno Martins 0001	Visualization Techniques of Trajectory Data: Challenges and Limitations.	AGILE PhD School	2013	DBLP BibTeX RDF
25	Nadine Schwartges	Dynamic Label Placement in Practice.	AGILE PhD School	2013	DBLP BibTeX RDF
25	Stefano Grassi	Integrated Spatial Optimization Model for Re-newable Energy Planning.	AGILE PhD School	2013	DBLP BibTeX RDF
25	Ayumi Arai, Ryosuke Shibasaki	Estimation of Human Mobility Patterns and Attributes Analyzing Anonymized Mobile Phone CDR: Developing Real-time Census from Crowds of Greater Dhaka.	AGILE PhD School	2013	DBLP BibTeX RDF
25	Yulia Grinblat	Spatio-temporal Dynamics of the Urban Fringe Landscapes.	AGILE PhD School	2013	DBLP BibTeX RDF
25	Lucy Waruguru Mburu	Modeling and Mapping Crime in Eastern Nairobi, Kenya.	AGILE PhD School	2013	DBLP BibTeX RDF
25	Kalina Bontcheva, Valentin Tablan, Hamish Cunningham	Semantic Search over Documents and Ontologies.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Giacomo Inches, Fabio Crestani	An Introduction to the Novel Challenges in Information Retrieval for Social Media.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Martin Braschler, Melanie Imhof, Stefan Rietberger	Black Box Evaluation for Operational Information Retrieval Applications.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Ke Tao, Fabian Abel, Claudia Hauff, Geert-Jan Houben, Ujwal Gadiraju	Twinder: Enhancing Twitter Search.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Ralf Schenkel	Semistructured Data Search Evaluation.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Sonia Bergamaschi, Francesco Guerra 0001, Giovanni Simonini	Keyword Search over Relational Databases: Issues, Approaches and Open Challenges.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Marc Franco-Salvador, Parth Gupta, Paolo Rosso	Knowledge Graphs as Context Models: Improving the Detection of Cross-Language Plagiarism with Paraphrasing.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Krisztian Balog	Semistructured Data Search.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Tetsuya Sakai	Metrics, Statistics, Tests.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Norbert Fuhr	Bridging Information Retrieval and Databases.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Omar Alonso	Evaluation with Respect to Usefulness - Some Perspectives from Industry.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Mihail Minev, Christoph Schommer	Domain-Driven News Representation Using Conditional Attribute-Value Pairs.	PROMISE Winter School	2013	DBLP DOI BibTeX RDF
25	Bertrand Meyer 0001, Martin Nordio (eds.)	Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures	LASER Summer School	2012	DBLP DOI BibTeX RDF
25	Anna Esposito, Antonietta Maria Esposito, Alessandro Vinciarelli, Rüdiger Hoffmann, Vincent C. Müller (eds.)	Cognitive Behavioural Systems - COST 2102 International Training School, Dresden, Germany, February 21-26, 2011, Revised Selected Papers	COST 2102 Training School	2012	DBLP DOI BibTeX RDF
25	Stéphane Marchand-Maillet	Multimedia Information Retrieval in a Social Context.	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Maria Francesca Costabile, Paolo Buono	Principles for Human-Centred Design of IR Interfaces.	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Giuseppe Santucci	Visual Analytics and Information Retrieval.	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Gareth J. F. Jones	An Introduction to Crowdsourcing for Language and Multimedia Technology Research.	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Aline Crédeville, Dominic Forest	Is Visualization Usable for Displaying Web Search Results in an Exploratory Search Context?	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Henning Müller	Medical (Visual) Information Retrieval.	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Elaine G. Toms	User-Oriented Information Retrieval.	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Donna Harman	TREC-Style Evaluations.	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Tiziana Catarci, Stephen Kimani	Human-Computer Interaction View on Information Retrieval Evaluation.	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Kalervo Järvelin	User-Oriented Evaluation in IR.	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Alan J. Dix	Introduction to Information Visualisation.	PROMISE Winter School	2012	DBLP DOI BibTeX RDF
25	Anna Esposito, Antonietta Maria Esposito, Raffaele Martone, Vincent C. Müller, Gaetano Scarpetta (eds.)	Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues - Third COST 2102 International Training School, Caserta, Italy, March 15-19, 2010, Revised Selected Papers	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani	Model Checking and the State Explosion Problem.	LASER Summer School	2011	DBLP DOI BibTeX RDF
25	Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer 0001	Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.	LASER Summer School	2011	DBLP DOI BibTeX RDF
25	Christine Paulin-Mohring	Introduction to the Coq Proof-Assistant for Practical Software Verification.	LASER Summer School	2011	DBLP DOI BibTeX RDF
25	Luke Herbert, K. Rustan M. Leino, Jose Quaresma	Using Dafny, an Automatic Program Verifier.	LASER Summer School	2011	DBLP DOI BibTeX RDF
25	Patrice Godefroid, Shuvendu K. Lahiri	From Program to Logic: An Introduction.	LASER Summer School	2011	DBLP DOI BibTeX RDF
25	César A. Muñoz, Ramiro A. Demasi	Advanced Theorem Proving Techniques in PVS and Applications.	LASER Summer School	2011	DBLP DOI BibTeX RDF
25	Robert Vích, Martin Vondra	Pitch Synchronous Transform Warping in Voice Conversion.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Andreas Wendemuth, Susanne Biundo	A Companion Technology for Cognitive Technical Systems.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Costanza Navarretta	Individuality in Communicative Bodily Behaviours.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Angiola Di Conza, Augusto Gnisci	First Impression in Mark Evaluation: Predictive Ability of the SC-IAT.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Augusto Gnisci, Enza Graziano, Angiola Di Conza	Si.Co.D.: A Computer Manual for Coding Questions.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Hui Fang 0003, Nicholas Costen, Natalie Butcher, Karen Lander	Modeling the Effect of Motion at Encoding and Retrieval for Same and Other Race Face Recognition.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Jiri Pribil, Anna Pribilová	Comparison of Complementary Spectral Features of Emotional Speech for German, Czech, and Slovak.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Ingo Siegert, Ronald Böck, Andreas Wendemuth	Modeling Users' Mood State to Improve Human-Machine-Interaction.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Hongwei Ding, Oliver Jokisch, Rüdiger Hoffmann	An Audiovisual Feedback System for Pronunciation Tutoring - Mandarin Chinese Learners of German.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Anna Esposito, Vincenzo Capuano, Jirí Mekyska, Marcos Faúndez-Zanuy	A Naturalistic Database of Thermal Emotional Facial Expressions and Effects of Induced Emotions on Memory.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Maria Koutsombogera, Harris Papageorgiou	TV Interview Participant Profiles from a Multimodal Perspective.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Sebastian Pannasch, Jens R. Helmert, Romy Müller, Boris M. Velichkovsky	The Analysis of Eye Movements in the Context of Cognitive Technical Systems: Three Critical Issues.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Ágnes Abuczki	A Conversation Analytical Study on Multimodal Turn-Giving Cues - End-of-Turn Prediction.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Carl Vogel, Lydia Behan	Measuring Synchrony in Dialog Transcripts.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Lutz-Michael Alisch	Nonverbal Communication - Signals, Conventions and Incommensurable Explanations.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Uwe Altmann, Catharine Oertel, Nick Campbell 0001	Conversational Involvement and Synchronous Nonverbal Behaviour.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Limin Zeng, Gerhard Weber 0002	ATMap: Annotated Tactile Maps for the Visually Impaired.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Egon L. van den Broek	Affective Computing: A Reverence for a Century of Research.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Erik Cambria, Andrew G. Livingstone, Amir Hussain 0001	The Hourglass of Emotions.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Rudy Rotili, Emanuele Principi, Martin Wöllmer, Stefano Squartini, Björn W. Schuller	Conversational Speech Recognition in Non-stationary Reverberated Environments.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Zdenek Chaloupka, Petr Horák	Prosody Modelling for TTS Systems Using Statistical Methods.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Günther Wirsching, Markus Huber 0006, Christian Kölbl, Robert Lorenz 0001, Ronald Römer	Semantic Dialogue Modeling.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF
25	Luca Berardinelli, Dajana Cassioli, Antinisca Di Marco, Anna Esposito, Maria Teresa Riviello, Catia Trubiani	VISION as a Support to Cognitive Behavioural Systems.	COST 2102 Training School	2011	DBLP DOI BibTeX RDF