Resultados da pesquisa - parallel sat processing function function https

Pesquisas alternativas:
processing function » processing functions , processing functional , processing fiction
function function » function functional , functions functional , function dysfunction
sat processing » dat processing , fat processing , meat processing
function https » functions https , fiction https
parallel sat » parallel a , parallel ant , parallel batch

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

Publicado em 2005

Sumário: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Obter o texto integral

Recurso Electrónico livro electrónico

AI 2012: Advances in Artificial Intelligence 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings /

Publicado em 2012

Sumário: “... Search for SAT -- Anytime Algorithms for Biobjective Heuristic Search -- ICHEA for Discrete Constraint...”
Obter o texto integral

Recurso Electrónico livro electrónico

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /

Publicado em 2013

Sumário: “... Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems...”
Obter o texto integral

Recurso Electrónico livro electrónico

Autonomous Search

Publicado em 2012

Sumário: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”
Obter o texto integral

Recurso Electrónico livro electrónico

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicado em 2015

Sumário: “... of Uncountable-State Stochastic Processes -- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving...”
Obter o texto integral

Recurso Electrónico livro electrónico

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Publicado em 2005

Sumário: “... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”
Obter o texto integral

Recurso Electrónico livro electrónico

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Publicado em 2013

Sumário: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Obter o texto integral

Recurso Electrónico livro electrónico

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Publicado em 2008

Sumário: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
Obter o texto integral

Recurso Electrónico livro electrónico

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Publicado em 2008

Sumário: “... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”
Obter o texto integral

Recurso Electrónico livro electrónico

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Publicado em 2013

Sumário: “... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic...”
Obter o texto integral

Recurso Electrónico livro electrónico

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Publicado em 2005

Sumário: “... PTAS for Scheduling on Agreeable Unrelated Parallel Batch Processing Machines with Dynamic Job Arrivals...”
Obter o texto integral

Recurso Electrónico livro electrónico

Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings /

Publicado em 2012

Sumário: “...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”
Obter o texto integral

Recurso Electrónico livro electrónico

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Publicado em 2007

Sumário: “.../Inhibitor Docking by Non-parametric Binomial Distribution Test -- satDNA Analyzer 1.2 as a Valuable...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels...”
Obter o texto integral

Recurso Electrónico livro electrónico

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Publicado em 2010

Sumário: “... Solutions -- Diversification and Intensification in Parallel SAT Solving -- A Systematic Approach to MDD...”
Obter o texto integral

Recurso Electrónico livro electrónico

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Publicado em 2007

Sumário: “... Trees in Dynamic Graphs -- Exact Max 2-Sat: Easier and Faster -- Maximum Finding in the Symmetric Radio...”
Obter o texto integral

Recurso Electrónico livro electrónico

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Publicado em 2008

Sumário: “... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa