Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
evaluation programming » evaluating programming, evolution programming, variation programming
integrated evaluation » interfaces evaluation, integrated production, integrated navigation
programming program » programming programmed, programming problem, programming problems
program based » programs based, gram based, programming based
based https » based http
evaluation programming » evaluating programming, evolution programming, variation programming
integrated evaluation » interfaces evaluation, integrated production, integrated navigation
programming program » programming programmed, programming problem, programming problems
program based » programs based, gram based, programming based
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
Published 2014
Table of Contents:
“... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”View full text
Electronic
eBook
12
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
Table of Contents:
“...Problem Definition -- Solution Overview -- Argumentation-enabled Web-based Intelligent Decision...”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
by Hooshyar, Danial, Ahmad, Rodina, Yousefi, Moslem, Fathi, Moein, Abdollahi, Abbas, Horng, Shi Jinn, Lim, Heuiseok
Published 2016
“... this problem, a solution-based intelligent tutoring system (SITS) is integrated with an online game-based...”Published 2016
View full text
Article
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 2005
Table of Contents:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”View full text
Electronic
eBook