Search results: Found 5

Listing 1 - 5 of 5
Sort by
Learning and Execution of Object Manipulation Tasks on Humanoid Robots

Author:
Book Series: Karlsruhe Series on Humanoid Robotics ISSN: 25120875 ISBN: 9783731507499 Year: Volume: 3 Pages: X, 236 p. DOI: 10.5445/KSP/1000078313 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-28 18:37:01
License:

Loading...
Export citation

Choose an application

Abstract

Equipping robots with complex capabilities still requires a great amount of effort. In this work, a novel approach is proposed to understand, to represent and to execute object manipulation tasks learned from observation by combining methods of data analysis, graphical modeling and artificial intelligence. Employing this approach enables robots to reason about how to solve tasks in dynamic environments and to adapt to unseen situations.

There is no Software, there are just Services

Authors: ---
Book Series: Digital Cultures ISBN: 9783957960559 9783957960566 Year: DOI: 10.14619/008 Language: English
Publisher: meson press
Subject: Media and communication
Added to DOAB on : 2017-04-23 15:18:20
License:

Loading...
Export citation

Choose an application

Abstract

Is software dead? Services like Google, Dropbox, Adobe Creative Cloud, or Social Media apps are all-pervasive in our digital media landscape. This marks the (re)emergence of the service paradigm that challenges traditional business and license models as well as modes of media creation and use. The short essays in this edited collection discuss how services shift the notion of software, the cultural technique of programming, conditions of labor as well as the ecology and politics of data and how they influence dispositifs of knowledge.

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

Author:
ISBN: 9783731505464 Year: Pages: XIV, 231 p. DOI: 10.5445/KSP/1000056002 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:57
License:

Loading...
Export citation

Choose an application

Abstract

In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Arity” is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury’s Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.

Eine Architektur für Programmsynthese aus natürlicher Sprache

Author:
ISBN: 9783731505440 Year: Pages: IX, 207 p. DOI: 10.5445/KSP/1000055916 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

This book presents an architecture for programming in natural language called NLCI. It decouples the application domain from the text analyses: NLCI is an extensible architecture and its components are reusable. NLCI is evaluated with two case studies in two radically different domains: translating commands for a home automation system (openHAB) and generating 3D animations from English scripts with Alice.

Techno-ökonomische Planung energetischer Wohngebäudemodernisierungen : Ein gemischt-ganzzahliges lineares Optimierungsmodell auf Basis einer vollständigen Finanzplanung

Author:
Book Series: Produktion und Energie / Karlsruher Institut für Technologie, Institut für Industriebetriebslehre und industrielle Produktion u. Deutsch-Französisches Institut für Umweltforschung ISSN: 21942404 ISBN: 9783731505310 Year: Volume: 15 Pages: XVI, 286 p. DOI: 10.5445/KSP/1000054969 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Business and Management
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

In this work, an optimization model (MILP) for the energetic refurbishment planning of buildings is developed. It provides decision support for owner-occupiers and/or landlords. The approach considers simultaneously the selection of refurbishment measures, the operation of energy supply technologies (incl. CHP/PV), and the financing structure from an economic point of view. The evaluation scheme is based on a visualization of financial implications and factors public funds into the analysis.

Listing 1 - 5 of 5
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (4)

meson press (1)


License

CC by-sa (5)


Language

english (3)

german (2)


Year
From To Submit

2018 (1)

2016 (3)

2015 (1)