Search Results - integration revision programming programming based https

1

Database Programming Languages 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers /

Published 2005

Table of Contents: “... Maintenance in XML P2P Databases -- Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic...”
View full text

Electronic eBook

2

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Rate -- Revising Probabilistic Prolog Programs -- Inductive Logic Programming for Gene Regulation...”
View full text

Electronic eBook

3

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

4

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”
View full text

Electronic eBook

5

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “... Services -- Agent Programming Languages Requirements for Programming Autonomous Robots -- An Agent-Based...”
View full text

Electronic eBook

6

Programming Multi-Agents Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... JaCaMo -- Notes on Pragmatic Agent-Programming with Jason -- Integrating Expectation Monitoring into BDI...”
View full text

Electronic eBook

7

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

8

Declarative Programming for Knowledge Management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised...

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

9

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

Published 2007

Table of Contents: “... Integer Programming -- A Position-Based Propagator for the Open-Shop Problem -- Directional...”
View full text

Electronic eBook

10

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

Published 2010

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

11

Object-Oriented Analysis, Design and Implementation An Integrated Approach /

by Dathan, Brahma., Dathan, Brahma., Ramnath, Sarnath.
Published 2015

Table of Contents: “... Concepts -- Introduction -- Basics of Object-Oriented Programming -- Relationships Between Classes...”
View full text

Electronic eBook

12

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Resources Constraint -- Integrating Time Constraints into Constraint-Based Configuration Models...”
View full text

Electronic eBook

13

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

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

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006...

Published 2007

Table of Contents: “... Domain -- Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based...”
View full text

Electronic eBook

16

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005...

Published 2006

Table of Contents: “... Object Code in Meta Programs -- Dynamic Imperative Languages for Runtime Extensible Semantics...”
View full text

Electronic eBook

17

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /

Published 2014

Table of Contents: “... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”
View full text

Electronic eBook

18

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

19

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

20

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Published 2012

Table of Contents: “... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”
View full text

Electronic eBook

Narrow Search