Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programs functionality » program functionality, programs functional, properties functionality
functionality using » functionality business, functionality design, functioning using
parallel search » parallel batch
search programs » research programs, research program, health programs
using https » using http, nursing https, aging https
programs functionality » program functionality, programs functional, properties functionality
functionality using » functionality business, functionality design, functioning using
parallel search » parallel batch
search programs » research programs, research program, health programs
using https » using http, nursing https, aging https
1
Gepubliceerd in 2012
Inhoudsopgave:
“... Optimization -- Part III – New Directions and Applications -- Continuous Search in Constraint Programming...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2006
Inhoudsopgave:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2010
Inhoudsopgave:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2005
Inhoudsopgave:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2015
Inhoudsopgave:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2008
Inhoudsopgave:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2010
Inhoudsopgave:
“... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2010
Inhoudsopgave:
“... Search Algorithms -- Scheduling English Football Fixtures over the Holiday Period Using Hyper-heuristics...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2006
Inhoudsopgave:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”Volledige tekst
Elektronisch
E-boek
10
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Gepubliceerd in 2013
Inhoudsopgave:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2013
Inhoudsopgave:
“... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2010
Inhoudsopgave:
“... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2010
Inhoudsopgave:
“... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2005
Inhoudsopgave:
“... Fragment of Separation Logic -- Approximate Range Searching Using Binary Space Partitions -- Representable...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2013
Inhoudsopgave:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Volledige tekst
Elektronisch
E-boek
16
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
17
Gepubliceerd in 2008
Inhoudsopgave:
“...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2005
Inhoudsopgave:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2010
Inhoudsopgave:
“... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2012
Inhoudsopgave:
“... of the Ant Colony Optimization Starting Points.-Variable Neighborhood Search for Robust Optimization...”Volledige tekst
Elektronisch
E-boek