Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
intersecting program » interfacing program, interlocking programs, intervention program
functionality using » functionality business, functionality design, functioning using
using https » using http, nursing https, aging https
program functionality » protein functionality, programs functional, supra functionality
intersecting program » interfacing program, interlocking programs, intervention program
functionality using » functionality business, functionality design, functioning using
using https » using http, nursing https, aging https
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... on Parallel Machines -- Almost Linear Time Computation of the Chromatic Polynomial of a Graph of Bounded Tree...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Recognition of Fabric Weave Patterns Using Texture Orientation Features -- Evaluating of on Demand Bandwidth...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... in the Context of Partial Classification in Large and Imbalanced Datasets -- Sharing Information in Parallel...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“.... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“...Customized Opinion Mining using Intelligent Algorithms -- Information Security Measurement Roles...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... FUNCTIONS -- MOVING LEAST SQUARE SPH USING FIXED KERNEL FOR LARGE DEFORMATION ELASTO-PLASTIC ANALYSIS -- A...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Streams -- Parallel Matrix Transposition and Vector Multiplication Using OpenMP -- Designing Parallel...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Kernel Functions Used in Binary Classification -- The Auxiliary Control System from Railway Operation...”View full text
Electronic
eBook