UB Paderborn / Katalog / Suche / in CDI

A11yDev: Understanding Contemporary Software Accessibility Practices from Twitter Conversations

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023, p.1-18

2023

Volltextzugriff (PDF)

An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints

Verification, Model Checking, and Abstract Interpretation, p.268-282

Volltextzugriff (PDF)

An abstract domain to discover interval linear equalities

Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation, 2010, p.112-128

2010

Volltextzugriff (PDF)

An Abstract Domain to Infer Linear Absolute Value Equalities

2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021, p.47-54

2021

Volltextzugriff (PDF)

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, 1977, p.238-252

1977

Volltextzugriff (PDF)

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

Lecture notes in computer science, 2004, p.280-295

2004

Volltextzugriff (PDF)

Abstract Interpretation-Based Static Analysis of Mobile Ambients

Lecture notes in computer science, 2001, p.412-430

2001

Volltextzugriff (PDF)

Abstract Semantic Dependency

Static Analysis, p.389-410

Volltextzugriff (PDF)

An abstract state machine semantics for discrete event simulation

Proceedings of the 2017 Winter Simulation Conference, 2017, p.1-12

Wagner, Gerd

2017

Volltextzugriff (PDF)

Abstraction of Optional Numerical Values

Programming Languages and Systems, p.146-166

Volltextzugriff (PDF)

Accelerated Data-Flow Analysis

Static Analysis, p.184-199

Volltextzugriff (PDF)

Acceleration in Convex Data-Flow Analysis

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, p.520-531

Volltextzugriff (PDF)

Accurate Estimation of Structural Equation Models with Remote Partitioned Data

Privacy in Statistical Databases, p.190-209

Volltextzugriff (PDF)

Accurate static branch prediction by value range propagation

Conference on Programming Language Design and Implementation: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation; 18-21 June 1995, 1995, p.67-78

Patterson, Jason R. C.

1995

Volltextzugriff (PDF)

Achieving Secure and Differentially Private Computations in Multiparty Settings

2017 IEEE Symposium on Privacy-Aware Computing (PAC), 2017, p.49-59

2017

Volltextzugriff (PDF)

Activity coordination programs

International Software Process Workshop: Proceedings of the 4th international software process workshop on Representing and enacting the software process : Devon, United Kingdom, 1988, p.57-60

1988

Volltextzugriff (PDF)

ACUMEN: amplifying control and understanding of multiple entities

International Conference on Autonomous Agents: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1; 15-19 July 2002, 2002, p.191-198

2002

Volltextzugriff (PDF)

Adaptive control of nonlinear system using neuro-fuzzy learning by PSO algorithm

2012 16th IEEE Mediterranean Electrotechnical Conference, 2012, p.519-523

2012

Volltextzugriff (PDF)

Adaptive fuzzy control systems

Proceedings Electronic Technology Directions to the Year 2000, 1995, p.11-13

Karr, C.L.

1995

Volltextzugriff (PDF)

Adaptive PID Gain Tuning Using Fuzzy Logic and Additional External Performance Index Reference for Controlling Robot Manipulator

2009 International Conference on Advanced Computer Control, 2009, p.448-452

2009

Volltextzugriff (PDF)

Adaptive process control using biologic paradigms

Proceedings Electronic Technology Directions to the Year 2000, 1995, p.128-136

Karr, C.L.

1995

Volltextzugriff (PDF)

ADMIT: anomaly-based data mining for intrusions

Conference on Knowledge Discovery in Data: Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining; 23-26 July 2002, 2002, p.386-395

2002

Volltextzugriff (PDF)

ADOPTION OF THE LAND ADMINISTRATION DOMAIN MODEL IN MAKATI CITY, PHILIPPINES

International archives of the photogrammetry, remote sensing and spatial information sciences., 2023, Vol.XLVIII-4/W6-2022, p.47-56

2023

Volltextzugriff (PDF)

Advances in Exploratory Data Analysis, Visualisation and Quality for Data Centric AI Systems

Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2022, p.4814-4815

2022

Volltextzugriff (PDF)

An agent-based modelling framework for urban agriculture

Proceedings of the Winter Simulation Conference, 2019, p.1767-1778

2019

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

A11yDev: Understanding Contemporary Software Accessibility Practices from Twitter Conversations

An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints

An abstract domain to discover interval linear equalities

An Abstract Domain to Infer Linear Absolute Value Equalities

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

Abstract Interpretation-Based Static Analysis of Mobile Ambients

Abstract Semantic Dependency

An abstract state machine semantics for discrete event simulation

Abstraction of Optional Numerical Values

Accelerated Data-Flow Analysis

Acceleration in Convex Data-Flow Analysis

Accurate Estimation of Structural Equation Models with Remote Partitioned Data

Accurate static branch prediction by value range propagation

Achieving Secure and Differentially Private Computations in Multiparty Settings

Activity coordination programs

ACUMEN: amplifying control and understanding of multiple entities

Adaptive control of nonlinear system using neuro-fuzzy learning by PSO algorithm

Adaptive fuzzy control systems

Adaptive PID Gain Tuning Using Fuzzy Logic and Additional External Performance Index Reference for Controlling Robot Manipulator

Adaptive process control using biologic paradigms

ADMIT: anomaly-based data mining for intrusions

ADOPTION OF THE LAND ADMINISTRATION DOMAIN MODEL IN MAKATI CITY, PHILIPPINES

Advances in Exploratory Data Analysis, Visualisation and Quality for Data Centric AI Systems

An agent-based modelling framework for urban agriculture

Aktive Filter

Suchergebnisse filtern