Concept

Knowledge-based systems

Related publications (229)

Joining high-level symbolic planning with low-level motion primitives in adaptive HRI: application to dressing assistance

For a safe and successful daily living assistance, far from the highly controlled environment of a factory, robots should be able to adapt to ever-changing situations. Programming such a robot is a tedious process that requires expert knowledge. An alterna ...

Idiap2018

A 256×256 45/65nm 3D-stacked SPAD-based direct TOF image sensor for LiDAR applications with optical polar modulation for up to 18.6dB interference suppression

Edoardo Charbon, Myung Jae Lee, Preethi Padmanabhan, Augusto Ronchini Ximenes

Light detection and ranging (LiDAR) systems based on direct time-of-flight (DTOF) are used in spacecraft navigation, assembly-line robotics, augmented and virtual reality (AR/VR), (drone-based) surveillance, advanced driver assistance systems (ADAS), and a ...

2018

An Indicator-Based Approach for Analyzing the Resilience of Transitions for Energy Regions – Concept, empirics and reflection

Claudia Rebeca Binder Signer, Romano Tobias Wyss, Susan Marie Mühlemeier

The transition of our current energy system from a fossil-based system to a system based on renewables is likely to be one of the most complex and long-term societal transitions in history. The need for a fundamental system transformation raises the questi ...

2018

Tracking and Analysis of Skyrmion Motion with matlab

This TP IV follows the TP IV "Tracking of Skyrmion Motion with matlab" and is using new movie as material. This report presents a description of a code, including an identification and a tracking code, based on new motion hypotheses resulting from the prev ...

2018

Synchrophasor-Based ROCOF Measurements: Feasibility in Real-World Scenarios

Mario Paolone, Asja Derviskadic, Guglielmo Frigo

In modern power systems, Rate of Change of Frequency (ROCOF) is employed in monitoring and control applications. However, a standard approach towards ROCOF measurements is still missing. In this paper, we investigate the feasibility of Phasor Measurement U ...

IEEE2018

Using Linked Open Data to Bootstrap a Knowledge Base of Classical Texts

Matteo Romanello

We describe a domain-specific knowledge base aimed at supporting the extraction of bibliographic references in the domain of Classics. In particular, we deal with references to canonical works of the Greek and Latin literature by providing a model that rep ...

CEUR2017

metaSMT: focus on your application and not on solver integration

Mathias Soeken, Heinz Riener

Many applications from artificial intelligence and formal methods use decision procedures as their core solving engines. In this context, automated reasoning based on Satisfiability (SAT) or Satisfiability Modulo Theories (SMT) is very effective. For a giv ...

Springer Verlag2017

Combine and conquer: Relating BIP and Reo

Simon Bliudze

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. A formal relation b ...

Elsevier Science Inc2017

Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies

Giovanni De Micheli, Mathias Soeken, Eleonora Testa, Odysseas Zografos

Traditional logic synthesis faces challenges of meeting the requirements demanded by the many emerging nanotech-nologies that are based on logic models different from standard CMOS. Several emerging nanodevices including Quantum-dot Cellular Automata (QCA) ...

IEEE2017

SUPPORTING SUSTAINABLE LIFESTYLES BY COMMUNICATING BENCHMARKS FOR RESOURCE CONSUMPTION WITH HELP OF A NOVEL ENVIRONMENTAL ACCOUNTING SYSTEM

According to UNEP, household consumption is responsible for 60 % of the total life cycle impacts of final consumption in most countries. Therefore, the transition to a more sustainable society can only be achieved by changing current consumption and produc ...

A World Resources Forum Production, PSI2017

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.