A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 10 | |
| Autor | ||
| Lizenz | CC-Namensnennung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/55074 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | |
| Genre |
00:00
Numerisches VerfahrenAbstrakte InterpretationAnalysisGraphKontrollstrukturStandardabweichungAlgorithmusKombinatorikKnotenmengeEntscheidungstheorieNebenbedingungParametersystemSelbstrepräsentationFamilie <Mathematik>ZeitbereichKategorie <Mathematik>ProgrammbibliothekAchtortProgrammDomain <Netzwerk>Element <Gruppentheorie>TopologieOperations ResearchAbstraktionsebeneWärmeübergangFunktion <Mathematik>VektorrechnungDigitalfilterSchnittmengeEntscheidungsbaumBenchmarkProgrammschleifeMultiplikationsoperatorNichtlinearer OperatorAbzählenElement <Gruppentheorie>ProgrammierungTupelKardinalzahlVariableCodeKategorie <Mathematik>Konfiguration <Informatik>Mapping <Computergraphik>LinearisierungSoftwareBenchmarkKonfigurationsraumSchaltnetzRichtungFamilie <Mathematik>SchnittmengeURLEinfache GenauigkeitGanze ZahlGeradeProdukt <Mathematik>AnalysisInvarianteAlgorithmusZahlenbereichTopologieLeistung <Physik>Arithmetischer AusdruckZusammenhängender GraphEntscheidungstheorieProgrammverifikationDifferenteFunktionalDomain <Netzwerk>MultifunktionMereologieMultiplikationsoperatorNebenbedingungTeilmengePolyederCASE <Informatik>KonditionszahlStochastische AbhängigkeitLambda-KalkülÜbertragungsfunktionAbstrakte InterpretationAussagenlogikUltraviolett-PhotoelektronenspektroskopieVollständige InduktionProjektive EbeneSuite <Programmpaket>SelbstrepräsentationBoolesche AlgebraRelativitätstheorieAusdruck <Logik>QuadratzahlLogischer SchlussPrototypingGemeinsamer SpeicherStandardabweichungBildschirmmaskeThetafunktionBefehl <Informatik>SoftwaretestResultanteFormale SpracheKartesische KoordinatenEin-AusgabeParametersystemSoundverarbeitungDatenstrukturFeasibility-StudieProgrammbibliothekComputeranimation
Transkript: Englisch(automatisch erzeugt)