AI Chat AI Image Generator AI Video Text to Speech

Parametricity Features and their Requirements

11/18/2021

∙

by Andreas Nuyts, et al.

∙

∙

In this note, we discuss a number of parametricity features and what their requirements are in terms of complexity of the type system and its model.

page 1

page 2

page 3

page 4

research

∙ 04/29/2020

Models of Homotopy Type Theory with an Interval Type

In this short note, we construct a class of models of an extension of ho...

0 Valery Isaev, et al. ∙

research

∙ 11/24/2017

What If People Learn Requirements Over Time? A Rough Introduction to Requirements Economics

The overall objective of Requirements Engineering is to specify, in a sy...

0 Corentin Burnay, et al. ∙

research

∙ 02/13/2020

MUST, SHOULD, DON'T CARE: TCP Conformance in the Wild

Standards govern the SHOULD and MUST requirements for protocol implement...

0 Mike Kosek, et al. ∙

research

∙ 07/30/2018

Automating Requirements Traceability: Two Decades of Learning from KDD

This paper summarizes our experience with using Knowledge Discovery in D...

0 Alex Dekhtyar, et al. ∙

research

∙ 01/09/2022

Variational design for a structural family of CAD models

Variational design is a well-recognized CAD technique due to the increas...

0 Qiang Zou, et al. ∙

research

∙ 06/21/2019

Deep Polyphonic ADSR Piano Note Transcription

We investigate a late-fusion approach to piano transcription, combined w...

0 Rainer Kelz, et al. ∙

research

∙ 04/19/2020

Knowledge Management Systems Requirements Specifications

In recent years, Knowledge Management Systems (KMS) have drawn remarkabl...

0 Omar S. Al-Kadi, et al. ∙