Resultados da busca - programming interval problems https array https

1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Publicado em 2008

Sumário: “... Noise Strategies -- The Max-Atom Problem and Its Relevance -- Session 2. Knowledge Representation 1...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

Publicado em 2014

Sumário: “...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings /

Publicado em 2010

Sumário: “... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Publicado em 2010

Sumário: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Combinatorial Pattern Matching 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010, Proceedings, /

Publicado em 2010

Sumário: “... -- On the Parameterized Complexity of Some Optimization Problems Related to Multiple-Interval Graphs -- Succinct...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Publicado em 2010

Sumário: “... -- The Interval Constrained 3-Coloring Problem -- Counting Hexagonal Patches and Independent Sets in Circle Graphs...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

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

Publicado em 2012

Sumário: “... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Publicado em 2007

Sumário: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Publicado em 2008

Sumário: “... Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Publicado em 2005

Sumário: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings /

Publicado em 2008

Sumário: “... Programs with Two Integer Variables and Two Constraints -- A Polyhedral Investigation of the LCS Problem...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Publicado em 2006

Sumário: “... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

Combinatorics, Algorithms, Probabilistic and Experimental Methodologies First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers /

Publicado em 2007

Sumário: “... Bipartitioning -- On the Complexity and Approximation of the Min-Sum and Min-Max Disjoint Paths Problems -- A...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

Frontiers in Computational and Systems Biology

Publicado em 2010

Sumário: “... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

String Processing and Information Retrieval 13th International Conference, SPIRE 2006, Glasgow, UK, October 11-13, 2006, Proceedings /

Publicado em 2006

Sumário: “... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

Mathematics and Computation in Music 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings /

Publicado em 2015

Sumário: “... Five⁵ -- Exact Cover Problem in Milton Babbitt’s All-Partition Array -- Constructing Geometrical Spaces...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

17

Mathematics and Computing ICMC, Haldia, India, January 2015 /

Publicado em 2015

Sumário: “.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

18

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers /

Publicado em 2006

Sumário: “... and Possibility Theory -- A Possibilistic Approach to Combinatorial Optimization Problems on Fuzzy-Valued Matroids...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

19

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Flexible Query Answering in Data Cubes -- An Extendible Array Based Implementation of Relational Tables...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

20

Selected Contributions in Data Analysis and Classification

Publicado em 2007

Sumário: “... Linear Regression and the Calibration Problem for Micro-Array Analysis -- Sanskrit Manuscript Comparison...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca