Suchergebnisse - intersections computing processing programmed functions https

1

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

Veröffentlicht 2006

Inhaltsangabe: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
Volltext

Elektronisch E-Book

2

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

Veröffentlicht 2015

Inhaltsangabe: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Volltext

Elektronisch E-Book

3

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

Veröffentlicht 2007

Inhaltsangabe: “... Minimization over Base Polytopes -- Computational Geometric Approach to Submodular Function Minimization...”
Volltext

Elektronisch E-Book

4

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

Veröffentlicht 2010

Inhaltsangabe: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Volltext

Elektronisch E-Book

5

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

Veröffentlicht 2013

Inhaltsangabe: “... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...”
Volltext

Elektronisch E-Book

6

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

Veröffentlicht 2007

Inhaltsangabe: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
Volltext

Elektronisch E-Book

7

Computational Methods

Veröffentlicht 2006

Inhaltsangabe: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Volltext

Elektronisch E-Book

8

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

Veröffentlicht 2008

Inhaltsangabe: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Volltext

Elektronisch E-Book

9

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

Veröffentlicht 2006

Inhaltsangabe: “... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”
Volltext

Elektronisch E-Book

10

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

Veröffentlicht 2008

Inhaltsangabe: “... Stochastic Hybrid Systems: The Sugar Cataract Development Process -- Distributed Lyapunov Functions...”
Volltext

Elektronisch E-Book

11

Knowledge-Driven Computing Knowledge Engineering and Intelligent Computations /

Veröffentlicht 2008

Inhaltsangabe: “... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”
Volltext

Elektronisch E-Book

12

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

Veröffentlicht 2010

Inhaltsangabe: “... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...”
Volltext

Elektronisch E-Book

13

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

Veröffentlicht 2014

Inhaltsangabe: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
Volltext

Elektronisch E-Book

14

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

Veröffentlicht 2013

Inhaltsangabe: “... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...”
Volltext

Elektronisch E-Book

15

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

Veröffentlicht 2007

Inhaltsangabe: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
Volltext

Elektronisch E-Book

16

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

Veröffentlicht 2008

Inhaltsangabe: “... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”
Volltext

Elektronisch E-Book