檢索結果 - intersecting non program computational problems https

搜索替代詞:
computational problems » computational systems , computational approaches
program computational » problem computational , programming computational , problems computational
intersecting non » intersections non , intersection non , intersecting when
problems https » programs https , problems hints , problems help
non program » ion program , sohn program , town program

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

出版 2015

書本目錄: “... Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire...”
獲取全文

電子電子書

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /

出版 2014

書本目錄: “... with Equations -- All–Instances Termination of Chase is Undecidable -- Non-uniform Polytime Computation...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... -- Disjunctive Cuts for Non-convex Mixed Integer Quadratically Constrained Programs -- The Air Traffic Flow...”
獲取全文

電子電子書

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

出版 2010

書本目錄: “... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”
獲取全文

電子電子書

Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /

出版 2006

書本目錄: “... for Computing Variants of the Longest Common Subsequence Problem -- Session 5B: Graphs -- Constructing Labeling...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “...-Strict CSP -- Monotonic Abstraction in Action -- Non-interleaving Semantics with Causality...”
獲取全文

電子電子書

Computational Geometry Algorithms and Applications /

由 de Berg, Mark., de Berg, Mark., Cheong, Otfried., van Kreveld, Marc., Overmars, Mark.
出版 2008

書本目錄: “...Computational Geometry: Introduction -- Line Segment Intersection: Thematic Map Overlay -- Polygon...”
獲取全文

電子電子書

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

出版 2014

書本目錄: “... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... Phylogenetic Forest Problem -- Seed-Based Exclusion Method for Non-coding RNA Gene Search -- A New Quartet...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
獲取全文

電子電子書

Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings /

出版 2012

書本目錄: “...Computability and Non-computability Issues in Amorphous Computing -- Static Single Information Form...”
獲取全文

電子電子書

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /

出版 2008

書本目錄: “... -- Quantified Positive Temporal Constraints -- Non-uniform Boolean Constraint Satisfaction Problems...”
獲取全文

電子電子書

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...”
獲取全文

電子電子書

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /

出版 2014

書本目錄: “...On Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types...”
獲取全文

電子電子書

Introduction to Geometric Computing

由 Ghali, Sherif., Ghali, Sherif.
出版 2008

書本目錄: “... Computational Euclidean Geometry -- Affine Transformations -- Affine Intersections -- Genericity in Geometric...”
獲取全文

電子電子書

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings /

出版 2007

書本目錄: “... Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation -- Finding Paths...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
獲取全文

電子電子書

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers /

出版 2012

書本目錄: “... Path Intersection Graphs: Sausages, Noodles, and Waffles on a Grill -- Maximum Induced Multicliques...”
獲取全文

電子電子書

Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers /

出版 2007

書本目錄: “... Problem in 3-Connected Planar Graphs -- Approximation Algorithms for Geometric Intersection Graphs...”
獲取全文

電子電子書

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II /

出版 2014

書本目錄: “... -- On Characterizations of Randomized Computation Using Plain Kolmogorov Complexity -- New Results for Non-Preemptive...”
獲取全文

電子電子書

縮小搜索