Search alternatives:
programming programming » programming programmed, programming program
evaluation programming » evaluating programming, evolution programming, variation programming
integrated evaluation » interfaces evaluation, integrated production, integrated navigation
based https » based http
1
Published 2014
Table of Contents: ...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
View full text
Electronic eBook
4
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
5
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Services -- Agent Programming Languages Requirements for Programming Autonomous Robots -- An Agent-Based...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...
View full text
Electronic eBook
11
Table of Contents: ...Problem Definition -- Solution Overview -- Argumentation-enabled Web-based Intelligent Decision...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Multiprocessor Robotic Systems -- Robot Programming by Demonstration -- Design Principles of the Component-Based...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Quality Measures and Semi-automatic Mining of Diagnostic Rule Bases -- An Evaluation of a Rule-Based...
View full text
Electronic eBook
17
18
Published 2013
Table of Contents: ... P.A.T.H.S.:An integration of findings based on program implementers -- 11 Qualitative evaluation...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Systems -- Necessity-Based Choquet Integrals for Sequential Decision Making under Uncertainty -- A Fuzzy...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Reliability Assessment Based on the Evaluation of Operational Experience -- Clock Synchronization Issues...
View full text
Electronic eBook