Search Results - parallel table program functionality setting https

Search alternatives:
program functionality » protein functionality , programs functional , supra functionality
functionality setting » functionality testing , functionality securing , functional setting
parallel table » parallel cable , parallel tabu , parallel tasks
table program » maple program , care program , whole program
setting https » being https , writing https , feeding https

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”
View full text

Electronic eBook

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “... in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Published 2013

Table of Contents: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
View full text

Electronic eBook

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
View full text

Electronic eBook

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Published 2010

Table of Contents: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
View full text

Electronic eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... for Set-Valued Mappings.-Optimal Control of Multibody Systems in Resistive Media.-Classical and Relaxed...”
View full text

Electronic eBook

Handbook of Data Visualization

Published 2008

Table of Contents: “... -- Multivariate Visualization by Density Estimation -- Structured Sets of Graphs -- Regression by Parts: Fitting...”
View full text

Electronic eBook

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Published 2005

Table of Contents: “... of Cryptographical Boolean Functions -- Algorithm for Proving the Knowledge of an Independent Vertex Set...”
View full text

Electronic eBook

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Published 2014

Table of Contents: “... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...”
View full text

Electronic eBook

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Independent Subspace Analysis on Innovations -- On Applying Tabling to Inductive Logic Programming -- Learning...”
View full text

Electronic eBook

Architecture of Computing Systems -- ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013 Proceedings /

Published 2013

Table of Contents: “...: The Programming Model for Future Many-Core Processors -- A Highly Dependable Self-adaptive Mixed-Signal Multi-core...”
View full text

Electronic eBook

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Published 2005

Table of Contents: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
View full text

Electronic eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”
View full text

Electronic eBook

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
View full text

Electronic eBook

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Published 2006

Table of Contents: “... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...”
View full text

Electronic eBook

Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Exploring Hierarchical Rule Systems in Parallel Coordinates -- Bayesian Networks Learning for Gene...”
View full text

Electronic eBook

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... Diameter Signal for Affective Assessment of a Computer User -- TCCT: A GUI Table Comparison Computer Tool...”
View full text

Electronic eBook

Proceedings of the Second International Conference on Mechatronics and Automatic Control

Published 2015

Table of Contents: “... for Generating RWG Function -- Internal AC Fault of Converter Station Based on Modular Multilevel Converter High...”
View full text

Electronic eBook

Narrow Search