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...

Constraint Programming in Sweden

IEEE intelligent systems, 2009-03, Vol.24 (2), p.87-89

2009

Volltextzugriff (PDF)

Design and Implementation of Bounded-Length Sequence Variables

14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, CPAIOR 2017, 2017, Vol.10335, p.51-67

2017

Volltextzugriff (PDF)

The tree Constraint

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005, p.64-78

2005

Volltextzugriff (PDF)

Optimising quality of information in data collection for mobile sensor networks

2013 IEEE/ACM 21st International Symposium on Quality of Service (IWQoS), 2013, p.1-10

2013

Volltextzugriff (PDF)

Mathematical foundations for program transformations

Lecture notes in computer science, 1999, p.319-321

1999

Volltextzugriff (PDF)

Using decision procedures to accelerate domain-specific deductive synthesis systems

Lecture notes in computer science, 1999, p.61-80

1999

Volltextzugriff (PDF)

Compositional Derivation of Symmetries for Constraint Satisfaction

Abstraction, Reformulation and Approximation, 2005, p.234-247

2005

Volltextzugriff (PDF)

Incremental Algorithms for Local Search from Existential Second-Order Logic

Lecture notes in computer science, 2005, Vol.3709, p.47-61

1ère éd, 2005

Volltextzugriff (PDF)

Set Variables and Local Search

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005, p.19-33

2005

Volltextzugriff (PDF)

An optimisation-based approach for wireless sensor deployment in mobile sensing environments

2012 IEEE Wireless Communications and Networking Conference (WCNC), 2012, p.2108-2112

2012

Volltextzugriff (PDF)

Financial Portfolio Optimisation

Lecture notes in computer science, 2004, p.227-241

2004

Volltextzugriff (PDF)

Inductive logic program synthesis with DIALOGS

Inductive Logic Programming, 1997, p.175-198

1997

Volltextzugriff (PDF)

An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs

Lecture notes in computer science, 1999, Vol.1559, p.322-324

1999

Volltextzugriff (PDF)

Attempto Controlled English -Not Just Another Logic Specification Language

Lecture notes in computer science, 1999, Vol.1559, p.1-20

1999

Volltextzugriff (PDF)

Completing open logic programs by constructive induction

International journal of intelligent systems, 1999-10, Vol.14 (10), p.995-1019

1999

Volltextzugriff (PDF)

On the desirable link between theory and practice in abstract interpretation (extended abstract)

Lecture notes in computer science, 2005, p.379-387

2005

Volltextzugriff (PDF)

An Abstract Formalization of Correct Schemas for Program Synthesis

Journal of symbolic computation, 2000-07, Vol.30 (1), p.93-127

2000

Volltextzugriff (PDF)

Invariant Discovery via Failed Proof Attempts

Lecture notes in computer science, 1999, Vol.1559, p.271-288

1999

Volltextzugriff (PDF)

OOD Frameworks in Component-Based Software Development in Computational Logic

Lecture notes in computer science, 1999, Vol.1559, p.101-123

1999

Volltextzugriff (PDF)

Inferring and Compiling Termination for Constraint Logic Programs

Lecture notes in computer science, 1999, Vol.1559, p.240-254

1999

Volltextzugriff (PDF)

Schema-guided synthesis of constraint logic programs

Automated Software Engineering: Proceedings of the 13th IEEE international conference on Automated software engineering; 13-16 Oct. 1998, 1998, p.168-176

1998

Volltextzugriff (PDF)