Search Results - integration setting programming programming based https

1

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”
View full text

Electronic eBook

2

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

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

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”
View full text

Electronic eBook

4

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

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

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Published 2010

Table of Contents: “... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”
View full text

Electronic eBook

7

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

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

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “... -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set...”
View full text

Electronic eBook

9

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
View full text

Electronic eBook

10

Foundations of 3D Graphics Programming Using JOGL and Java3D /

by Chen, Jim X., Chen, Jim X., Wegman, Edward J.
Published 2006

Table of Contents: “... -- Programming in Java3D -- Advanced Topics....”
View full text

Electronic eBook

11

Foundations of 3D Graphics Programming Using JOGL and Java3D /

by Chen, Jim X., Chen, Jim X., Chen, Chunyang.
Published 2008

Table of Contents: “... -- Vertex Shading, Pixel Shading, and Parallel Processing -- Cg Programming -- Programming in Java3D...”
View full text

Electronic eBook

12

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Integration of Time Issues into Component-Based Applications -- Slicing of Component Behavior Specification...”
View full text

Electronic eBook

13

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”
View full text

Electronic eBook

14

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

15

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Published 2015

Table of Contents: “... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”
View full text

Electronic eBook

16

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

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

Integer Programming and Combinatorial Optimization 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings /

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

Declarative Programming for Knowledge Management 16th International Conference on Applications...

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

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /

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

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /

Published 2008

Table of Contents: “... for Structured Service Programming -- Modular Preservation of Safety Properties by Cookie-Based DoS-Protection...”
View full text

Electronic eBook

Narrow Search