Результаты поиска - intersections method programs computational program https

Альтернативы поиска:
programs computational » program computational , problems computational , programming computational
computational program » computational problem , compositional program , computational problems
intersections method » intersection method , intersection methods , interventions methods
method programs » methods program , method progress , method programmed
program https » programs https , program has , program help

Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings /

Опубликовано 2008

Оглавление: “...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”
Полный текст

Электронный ресурс eКнига

Computational Methods

Опубликовано 2006

Оглавление: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Полный текст

Электронный ресурс eКнига

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...”
Полный текст

Электронный ресурс eКнига

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
Полный текст

Электронный ресурс eКнига

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS...

Опубликовано 2010

Оглавление: “...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...”
Полный текст

Электронный ресурс eКнига

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Опубликовано 2008

Оглавление: “...Using Design Patterns in Formal Methods: An Event-B Approach -- A Unified Approach to Abstract...”
Полный текст

Электронный ресурс eКнига

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Опубликовано 2006

Оглавление: “... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”
Полный текст

Электронный ресурс eКнига

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Опубликовано 2005

Оглавление: “... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...”
Полный текст

Электронный ресурс eКнига

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Опубликовано 2008

Оглавление: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Полный текст

Электронный ресурс eКнига

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings /

Опубликовано 2014

Оглавление: “... for Computing Prime Implicates in Modal Logic -- Set Cover, Set Packing and Hitting Set for Tree Convex and Tree...”
Полный текст

Электронный ресурс eКнига

Parsing Techniques A Practical Guide /

по Grune, Dick., Grune, Dick., Jacobs, Ceriel J.H.
Опубликовано 2008

Оглавление: “... -- Generalized Deterministic Parsers -- Substring Parsing -- Parsing as Intersection -- Parallel Parsing -- Non...”
Полный текст

Электронный ресурс eКнига

Multiscale Optimization Methods and Applications

Опубликовано 2006

Оглавление: “... for Nonlinear Programming -- Factors Affecting the Performance of Optimization-based Multigrid Methods -- A...”
Полный текст

Электронный ресурс eКнига

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Опубликовано 2007

Оглавление: “... Intersection Method for Generation of Efficient Front -- An Improved Laplacian Smoothing Approach for Surface...”
Полный текст

Электронный ресурс eКнига

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Опубликовано 2010

Оглавление: “...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”
Полный текст

Электронный ресурс eКнига

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Полный текст

Электронный ресурс eКнига

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference...

Опубликовано 2007

Оглавление: “... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”
Полный текст

Электронный ресурс eКнига

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Опубликовано 2006

Оглавление: “...Closure Operators for ROBDDs -- A CLP Method for Compositional and Intermittent Predicate...”
Полный текст

Электронный ресурс eКнига

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /

Опубликовано 2010

Оглавление: “... Control on Traffic Light Networks -- Performance Measurement of a Dual-Channel Intersection Switch...”
Полный текст

Электронный ресурс eКнига

Theoretical Computer Science Essays in Memory of Shimon Even /

Опубликовано 2006

Оглавление: “... Network -- An Application Intersection Marketing Ontology -- How to Leak a Secret: Theory and Applications...”
Полный текст

Электронный ресурс eКнига

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Опубликовано 2008

Предметы: “...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска