Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
integration setting » integration testing, integration bettina, integration nothing
setting programming » solving programming, routing programming, sharing programming
based https » based http
programming programming » programming programmed, programming program
integration setting » integration testing, integration bettina, integration nothing
setting programming » solving programming, routing programming, sharing programming
based https » based http
1
Published 2007
Table of Contents:
“... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
10
Table of Contents:
“... -- Programming in Java3D -- Advanced Topics....”
View full text
View full text
Electronic
eBook
11
Table of Contents:
“... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
View full text
View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... -- Integration of Time Issues into Component-Based Applications -- Slicing of Component Behavior Specification...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“..., and the Maximum Weight Stable Set Problem -- Smoothed Analysis of Integer Programming -- Circular Ones Matrices...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Logic Programming Language with Persistence and Contexts -- On a Rough Sets Based Data Mining Tool...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... with Different Aspect-Class Integration Testing Strategies -- An Experimental Study on Incremental Search-Based...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... for Structured Service Programming -- Modular Preservation of Safety Properties by Cookie-Based DoS-Protection...”View full text
Electronic
eBook



