Arama Sonuçları - intersections computer processing programmed functions https

1

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”
Tam Metin Erişim

Elektronik Ekitap

8

Computational Methods

Baskı/Yayın Bilgisi 2006

İçindekiler: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions...”
Tam Metin Erişim

Elektronik Ekitap

11

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”
Tam Metin Erişim

Elektronik Ekitap

17

Intelligent Technologies and Engineering Systems

Baskı/Yayın Bilgisi 2013

İçindekiler: “... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...”
Tam Metin Erişim

Elektronik Ekitap

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...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Scheduling with Resource Dependent Processing Times -- Approximating Buy-at-Bulk and Shallow-Light k-Steiner...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt