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