Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intelligence transformations » intelligent transportation, intelligence information, intelligence informatics
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
intelligence transformations » intelligent transportation, intelligence information, intelligence informatics
transformations programming » transformation programme, transformation program
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Published 2005
Table of Contents:
“... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... -- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax -- Session 6: Security -- Formalizing...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“..., Optimization, Synthesis and Performance Evaluation of Real-Time Systems -- Unifying Theories of Programming...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Intelligence Applications in Engineering Design -- A Prolog Based System That Assists Experts to Construct...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Independence -- Non-Classical Logics Finitary S5-Theories -- Efficient Program Transformers for Translating LCC...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Related Transform -- Extracting Features from an Electrical Signal of a Non-Intrusive Load Monitoring...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“...: Calibrating a Camera Using Multi-rectangle Constructed by Mark Lines in Traffic Road -- A Multi-instance Multi...”View full text
Electronic
eBook
20
Table of Contents:
“... Transformation -- Transformation rules for Parallel Code Regions (e.g. OpenMP 3.1) -- Static Program Analysis....”
View full text
View full text
Electronic
eBook