WorldCat Identities

Giese, Martin

Overview
Works: 94 works in 134 publications in 2 languages and 1,026 library holdings
Genres: Conference papers and proceedings  Academic theses 
Roles: Editor, Author, Contributor, htt, Other, Publishing director
Classifications: QA76.9.A96, 262.1
Publication Timeline
.
Most widely held works by Martin Giese
Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings by Martin Giese( )

15 editions published in 2009 in English and held by 522 WorldCat member libraries worldwide

Annotation This book constitutes the refereed proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009, held in Oslo, Norway, in July 2009. The 21 revised research papers presented together with 1 system description and 2 invited talks were carefully reviewed and selected from 44 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods in areas such as hardware and software verfications, semantic technologies, and knowledge engineering
Rules and reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings by RuleML+RR( )

5 editions published in 2020 in English and held by 220 WorldCat member libraries worldwide

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems). The 7 full research papers presented together with 6 short technical communications papers were carefully reviewed and selected from 30 submissions. *The conference was held virtually due to the COVID-19 pandemic
Modularity in motor control : from muscle synergies to cognitive action representation by Tamar Flash( Book )

2 editions published in 2016 in Undetermined and English and held by 35 WorldCat member libraries worldwide

Mastering a rich repertoire of motor behaviors, as humans and other animals do, is a surprising and still poorly understood outcome of evolution, development, and learning. Many degrees-of-freedom, non-linear dynamics, and sensory delays provide formidable challenges for controlling even simple actions. Modularity as a functional element, both structural and computational, of a control architecture might be the key organizational principle that the central nervous system employs for achieving versatility and adaptability in motor control. Recent investigations of muscle synergies, motor primitives, compositionality, basic action concepts, and related work in machine learning have contributed to advance, at different levels, our understanding of the modular architecture underlying rich motor behaviors. However, the existence and nature of the modules in the control architecture is far from settled. For instance, regularity and low-dimensionality in the motor output are often taken as an indication of modularity but could they simply be a byproduct of optimization and task constraints? Moreover, what are the relationships between modules at different levels, such as muscle synergies, kinematic invariants, and basic action concepts? One important reason for the new interest in understanding modularity in motor control from different viewpoints is the impressive development in cognitive robotics. In comparison to animals and humans, the motor skills of today's best robots are limited and inflexible. However, robot technology is maturing to the point at which it can start approximating a reasonable spectrum of isolated perceptual, cognitive, and motor capabilities. These advances allow researchers to explore how these motor, sensory and cognitive functions might be integrated into meaningful architectures and to test their functional limits. Such systems provide a new test bed to explore different concepts of modularity and to address the interaction between motor and cognitive processes experimentally. Thus, the goal of this Research Topic is to review, compare, and debate theoretical and experimental investigations of the modular organization of the motor control system at different levels. By bringing together researchers seeking to understand the building blocks for coordinating many muscles, for planning endpoint and joint trajectories, and for representing motor and behavioral actions in memory we aim at promoting new interactions between often dis
Leading through change : shepherding the town and country church in a new era by Barney Wells( Book )

1 edition published in 2005 in English and held by 26 WorldCat member libraries worldwide

Conservation of biodiversity, ecological integrity and ecologically sustainable development : a discussion paper by N Amos( Book )

2 editions published in 1993 in English and held by 23 WorldCat member libraries worldwide

Der Genitalapparat von Calyptraea sinensis Lin., Crepidula unguiformis Lam. und Capulus Hungaricus Lam by Martin Giese( Book )

6 editions published in 1915 in German and held by 18 WorldCat member libraries worldwide

Praktische Handreichungen für den Unterricht( Book )

1 edition published in 2010 in German and held by 14 WorldCat member libraries worldwide

Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : Proceedings by TABLEAUX 2009( )

2 editions published in 2009 in English and held by 7 WorldCat member libraries worldwide

Any two countable, densely ordered sets without endpoints are isomorphic a formal proof with KIV by Martin Giese( Book )

1 edition published in 1995 in English and held by 6 WorldCat member libraries worldwide

KIV zur Verifikation von ASM-Spezifikationen am Beispiel der DLX-Pipelining-Architektur by Martin Giese( Book )

1 edition published in 1997 in German and held by 6 WorldCat member libraries worldwide

Biomasse als Kraftstoff : ein Beitrag zum Klimaschutz? by Martin Giese( Book )

3 editions published between 2008 and 2009 in German and English and held by 6 WorldCat member libraries worldwide

Model generation style completeness proofs for constraint tableaux with superposition by Martin Giese( Book )

1 edition published in 2001 in English and held by 6 WorldCat member libraries worldwide

Weiterentwicklung und Anwendung von Sparse-Coding-Verfahren für die Analyse von Armbewegungstrajektorien by Christian Vollmer( )

2 editions published in 2016 in German and held by 5 WorldCat member libraries worldwide

Eine von vielen Modalitäten zur Vermittlung von Information in Interaktion zwischen Mensch und Maschine ist die Gestik. Mit Hilfe dynamischer Gesten können sowohl Begriffe, als auch Emotionen kommuniziert werden. In dieser Arbeit wird der zeitliche Verlauf der Position einer Gliedmaße bei Ausführung der Geste, die sogenannte Bewegungstrajektorie, betrachtet. Damit eine Maschine Gesten wahrnehmen kann, müssen die Trajektorien mittels Sensoren aufgenommen werden und anschließend durch eine entsprechende Verarbeitung der Daten interpretiert werden. Dabei kommt ein mehrstufiger Mustererkennungsprozess zum Einsatz. Ein Schritt in diesem Prozess ist die Merkmalsextraktion, welche das aufgenommene Signal in einer kompakten Form darstellt. Diese Arbeit widmet sich einer Untersuchung zur Anwendung von Sparse Coding in der Merkmalsextraktion für Bewegungstrajektorien. Sparse Coding kann eine Datenmenge durch eine beschränkte Menge repräsentativer, wiederkehrender Merkmale darstellen. Diese Merkmale werden in einer Lernphase aus Trainingsdaten gelernt und in der Kannphase in einem unbekannten Signal detektiert. Dieses Konzept hat gegenüber konventionellen Methoden zur Merkmalsextraktion in zeitlichen Signalen den Vorteil, dass die Merkmale optimal an die Daten angepasst sind und so die charakteristischen Eigenschaften der Trainingsdaten beschreiben. In dieser Arbeit wird das Verfahren für die Anwendung auf Bewegungstrajektorien optimiert. Es wird untersucht, unter welchen Rahmenbedingungen Sparse Coding für Bewegungstrajektorien anwendbar ist und wie die aufgenommenen Daten vorverarbeitet werden müssen. Des Weiteren werden die Auswirkungen des Verfahrens auf nachgelagerte Verarbeitungsschritte im Mustererkennungsprozess, wie die Klassifikation und die Generierung von Bewegungstrajektorien, betrachtet. Die Leistungsfähigkeit des Verfahrens beim Einsatz in der Gestenerkennung wird in Experimenten anhand eines, im Rahmen dieser Arbeit selbst erstellten, Datensatzes demonstriert. Um die Generalisierbarkeit des Verfahrens auf andere Anwendungsdomänen zu untersuchen, wird es auf Benchmark-Datensätze aus den Bereichen der Activity Recognition und der Handschrifterkennung angewendet. Des Weiteren wird eine echtzeitfähige Implementierung des Verfahrens in einer Demonstrator-Applikation vorgestellt
Putting actions in context visual action adaptation aftereffects are modulated by social contexts by Stephan de la Rosa( )

3 editions published in 2014 in English and held by 5 WorldCat member libraries worldwide

Representation of water abstraction from a karst conduit with numerical discrete-continuum models by T Reimann( )

3 editions published between 2013 and 2014 in English and held by 5 WorldCat member libraries worldwide

Welchen einfluss hat der regierungsstil auf die regierungszentrale? by Martin Giese( )

2 editions published in 2009 in German and English and held by 4 WorldCat member libraries worldwide

Die ökonomische Modernisierung der Bundeswehr als Teil der Transformation by Martin Giese( )

1 edition published in 2009 in German and held by 3 WorldCat member libraries worldwide

Automated Reasoning with Analytic Tableaux and Related Methods( )

3 editions published between 2000 and 2009 in English and German and held by 3 WorldCat member libraries worldwide

Den Partner selbstständig sichern by Martin Giese( )

1 edition published in 2009 in German and held by 3 WorldCat member libraries worldwide

Das obere Zuspiel beim Volleyball zwischen Sollwert- und Erfahrungsorientierung by Martin Giese( )

1 edition published in 2009 in German and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.29 for Leading th ... to 0.96 for Representa ...)

WorldCat IdentitiesRelated Identities
Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings Automated Reasoning with Analytic Tableaux and Related Methods
Covers
Automated Reasoning with Analytic Tableaux and Related Methods
Alternative Names
Giese, M.

Languages
English (38)

German (17)