Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel reasoning » parallel learning, parallel rendering, parallel rewriting
reasoning programs » reasoning program, learning programs, reading programs
function https » functions https, fiction https
programs functionals » programs functional, programming functionals, program functionality
functionals function » function function, functions functional, function dysfunction
parallel reasoning » parallel learning, parallel rendering, parallel rewriting
reasoning programs » reasoning program, learning programs, reading programs
function https » functions https, fiction https
1
Gepubliceerd in 2006
Inhoudsopgave:
“...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”Volledige tekst
Elektronisch
E-boek
2
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Gepubliceerd in 2006
Inhoudsopgave:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2005
Inhoudsopgave:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Volledige tekst
Elektronisch
E-boek
4
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Gepubliceerd in 2013
Inhoudsopgave:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2008
Inhoudsopgave:
“... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2006
Inhoudsopgave:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2005
Inhoudsopgave:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Volledige tekst
Elektronisch
E-boek
8
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Gepubliceerd in 2015
Inhoudsopgave:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Volledige tekst
Elektronisch
E-boek
9
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Gepubliceerd in 2014
Inhoudsopgave:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2013
Inhoudsopgave:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2013
Inhoudsopgave:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2008
Inhoudsopgave:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2010
Inhoudsopgave:
“... to Maude and Some of Its Applications -- Non-Monotonic Reasoning - Answer Set Programming -- Efficient...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2007
Inhoudsopgave:
“...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2005
Inhoudsopgave:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2010
Inhoudsopgave:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2008
Inhoudsopgave:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2010
Inhoudsopgave:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2006
Inhoudsopgave:
“... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2014
Inhoudsopgave:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Volledige tekst
Elektronisch
E-boek
- 1
- 2
- 3
- Volgende »
- [3]