UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Determinacy Inference for Logic Programs

Lecture notes in computer science, 2005, p.108-123

2005

Volltextzugriff (PDF)

Forward versus Backward Verification of Logic Programs

Lecture notes in computer science, 2003, Vol.2916, p.315-330

2003

Volltextzugriff (PDF)

Backward Pair Sharing Analysis

Functional and Logic Programming, 2004, Vol.2998, p.132-146

2004

Volltextzugriff (PDF)

Parameterizing a Groundness Analysis of Logic Programs

Lecture notes in computer science, 2001, Vol.2126, p.146-164

2001

Volltextzugriff (PDF)

Backward Type Inference Generalises Type Checking

Lecture notes in computer science, 2002, Vol.2477, p.85-101

2002

Volltextzugriff (PDF)

An Operational Semantics of Starlog

Lecture notes in computer science, 1999, Vol.1702, p.294-310

1999

Volltextzugriff (PDF)

Deterministic Hypergraph Coloring and Its Applications

Lecture notes in computer science, 1998, Vol.1518, p.35-46

1998

Volltextzugriff (PDF)

Inference for Annotated Logics over Distributive Lattices

Foundations of Intelligent Systems, 2002, Vol.2366, p.285-293

2002

Volltextzugriff (PDF)

A Foundation for Hybrid Knowledge Bases

Foundations of Software Technology and Theoretical Computer Science, 1999, Vol.1738, p.155-167

1999

Volltextzugriff (PDF)

Neural circuitry and plasticity in the adult vertebrate inner retina

Foundations and Tools for Neural Modeling, 1999, p.65-72

1999

Volltextzugriff (PDF)

Automatic Parsing of Sports Videos with Grammars

Database and Expert Systems Applications, 2005, p.766-775

2005

Volltextzugriff (PDF)

U.S. GOVERNMENT PUBLICATIONS IN THE SOCIAL SCIENCES: AN ANNOTATED GUIDE

p. 272, 1975, BEVERLY HILLS: SAGE PUBS INC, 1975, p.272-272

LU J.

1975

Volltextzugriff (PDF)

Development transformation based on higher order type theory

Constructivity in Computer Science, 1992, p.58-70

1992

Volltextzugriff (PDF)

Small Molecule Reactions on Clean and Modified Iron Surfaces

Studies in Surface Science and Catalysis, 1991, Vol.67, p.315-326

1991

Volltextzugriff (PDF)

Verifying a performance estimator for parallel DBMSs

Euro-Par’98 Parallel Processing, 1998, p.126-135

1998

Volltextzugriff (PDF)

Efficient access methods in deductive and object-oriented databases

Deductive and Object-Oriented Databases, 1991, p.68-84

1991

Volltextzugriff (PDF)

SORTIE ALLOCATION BY A NONLINEAR PROGRAMMING MODEL FOR DETERMINING MUNITIONS MIX

p. 80, 1974, RAND CORPORATION, 1974, p.80-80

1974

Volltextzugriff (PDF)

The Importance of Skip Connections in Biomedical Image Segmentation

Deep Learning and Data Labeling for Medical Applications, 2016, Vol.10008, p.179-187

2016

Volltextzugriff (PDF)

The Eighth Visual Object Tracking VOT2020 Challenge Results

Computer Vision, 2021, Vol.12539, p.547-601

2021

Volltextzugriff (PDF)

EPSANet: An Efficient Pyramid Squeeze Attention Block on Convolutional Neural Network

Computer Vision - ACCV 2022, 2023, Vol.13843, p.541-557

2023

Volltextzugriff (PDF)

Estimating CT Image from MRI Data Using 3D Fully Convolutional Networks

Deep Learning and Data Labeling for Medical Applications, 2016, Vol.10008, p.170-178

2016

Volltextzugriff (PDF)

A Region Based Convolutional Network for Tumor Detection and Classification in Breast Mammography

Deep Learning and Data Labeling for Medical Applications, 2016, Vol.10008, p.197-205

2016

Volltextzugriff (PDF)

Fully Convolutional Network for Liver Segmentation and Lesions Detection

Deep Learning and Data Labeling for Medical Applications, 2016, Vol.10008, p.77-85

2016

Volltextzugriff (PDF)

Vessel Detection in Ultrasound Images Using Deep Convolutional Neural Networks

Deep Learning and Data Labeling for Medical Applications, 2016, Vol.10008, p.30-38

2016

Volltextzugriff (PDF)

SST-VLM: Sparse Sampling-Twice Inspired Video-Language Model

Computer Vision – ACCV 2022, 2023, p.537-553

2023

Volltextzugriff (PDF)

1 – 25 von 828

Suche als RSS-Feed

Aktive Filter

PublikationsformBuchkapitel

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(591)
Mit Volltextzugriff
(791)

Sprache

Erscheinungsjahr

n.n

Neu hinzugefügt

... seit 30 Tagen
(2)
... seit 90 Tagen
(3)

Menü

Weitere Dienste

Einstellungen

Determinacy Inference for Logic Programs

Forward versus Backward Verification of Logic Programs

Backward Pair Sharing Analysis

Parameterizing a Groundness Analysis of Logic Programs

Backward Type Inference Generalises Type Checking

An Operational Semantics of Starlog

Deterministic Hypergraph Coloring and Its Applications

Inference for Annotated Logics over Distributive Lattices

A Foundation for Hybrid Knowledge Bases

Neural circuitry and plasticity in the adult vertebrate inner retina

Automatic Parsing of Sports Videos with Grammars

U.S. GOVERNMENT PUBLICATIONS IN THE SOCIAL SCIENCES: AN ANNOTATED GUIDE

Development transformation based on higher order type theory

Small Molecule Reactions on Clean and Modified Iron Surfaces

Verifying a performance estimator for parallel DBMSs

Efficient access methods in deductive and object-oriented databases

SORTIE ALLOCATION BY A NONLINEAR PROGRAMMING MODEL FOR DETERMINING MUNITIONS MIX

The Importance of Skip Connections in Biomedical Image Segmentation

The Eighth Visual Object Tracking VOT2020 Challenge Results

EPSANet: An Efficient Pyramid Squeeze Attention Block on Convolutional Neural Network

Estimating CT Image from MRI Data Using 3D Fully Convolutional Networks

A Region Based Convolutional Network for Tumor Detection and Classification in Breast Mammography

Fully Convolutional Network for Liver Segmentation and Lesions Detection

Vessel Detection in Ultrasound Images Using Deep Convolutional Neural Networks

SST-VLM: Sparse Sampling-Twice Inspired Video-Language Model

Aktive Filter

Suchergebnisse filtern