Результаты поиска - intersections computer processing programming function https

1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

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

Оглавление: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
Полный текст

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

2

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

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

Оглавление: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Полный текст

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

3

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

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

Оглавление: “... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”
Полный текст

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

4

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

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

Оглавление: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Полный текст

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

5

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

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

Оглавление: “... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...”
Полный текст

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

6

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...”
Полный текст

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

7

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...”
Полный текст

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

8

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Книга

9

Computational Methods

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

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

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

10

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

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

Оглавление: “... Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions...”
Полный текст

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

11

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

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

Оглавление: “... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...”
Полный текст

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

12

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

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

Оглавление: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Полный текст

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

13

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

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

Оглавление: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
Полный текст

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

14

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

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

Оглавление: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
Полный текст

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

15

Modelling, Computation and Optimization in Information Systems and Management Sciences Second...

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

Оглавление: “... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”
Полный текст

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

16

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

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

Оглавление: “... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”
Полный текст

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

17

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

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

Оглавление: “... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...”
Полный текст

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

18

Intelligent Technologies and Engineering Systems

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

Оглавление: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
Полный текст

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

19

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006...

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

Оглавление: “... for Scheduling with Resource Dependent Processing Times -- Approximating Buy-at-Bulk and Shallow-Light k-Steiner...”
Полный текст

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

20

Information Security and Cryptology - ICISC 2009 12th International Conference, Seoul, Korea, December 2-4. 2009. Revised Selected Papers /

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

Оглавление: “... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...”
Полный текст

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

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