Search Results - interactive computing programming problem intersection https

1

Human-Computer Interaction: Users and Contexts of Use 15th International Conference, HCI...

Published 2013

Table of Contents: “... Probability Problems with Computer-Generated Diagrams -- Establishing a Cognitive Map of Public Place...”
View full text

Electronic eBook

2

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

Published 2015

Table of Contents: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
View full text

Electronic eBook

3

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

Published 2010

Table of Contents: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
View full text

Electronic eBook

4

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

Published 2008

Table of Contents: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
View full text

Electronic eBook

5

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

Published 2007

Table of Contents: “... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”
View full text

Electronic eBook

6

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

Published 2008

Table of Contents: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
View full text

Electronic eBook

7

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

Published 2007

Table of Contents: “... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...”
View full text

Electronic eBook

8

Computational Methods

Published 2006

Table of Contents: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
View full text

Electronic eBook

9

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

Published 2007

Table of Contents: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
View full text

Electronic eBook

10

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Published 2012

Table of Contents: “... and Random Intersection -- Regularity Problems for Weak Pushdown ω-Automata and Games -- Computational...”
View full text

Electronic eBook

11

Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings /

Published 2007

Table of Contents: “... for Geometric Intersection Graphs -- On Generalized Diamond Spanners -- Session 7B -- The k-Resource Problem...”
View full text

Electronic eBook

12

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

Published 2007

Table of Contents: “... Substructural Type System for Delimited Continuations -- The Inhabitation Problem for Rank Two Intersection...”
View full text

Electronic eBook

13

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

Published 2014

Table of Contents: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
View full text

Electronic eBook

14

Graph Drawing 13 th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers /

Published 2006

Table of Contents: “...–intersecting When Drawn Simultaneously -- C-Planarity of Extrovert Clustered Graphs -- Non-planar Core...”
View full text

Electronic eBook

15

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

Published 2010

Table of Contents: “... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...”
View full text

Electronic eBook

16

Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... -- On the Equivalence-Checking Problem for a Model of Programs Related With Multi-tape Automata -- Poster Papers...”
View full text

Electronic eBook

17

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

Published 2006

Table of Contents: “... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”
View full text

Electronic eBook

18

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings /

Published 2006

Table of Contents: “... Geometry -- Algebraic Computation of Some Intersection D-Modules -- Plural, a Non–commutative Extension...”
View full text

Electronic eBook

19

Algorithms and Applications Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday /

Published 2010

Table of Contents: “...-Computer Interaction -- Approximate String Matching with Reduced Alphabet -- ICT4D: A Computer Science...”
View full text

Electronic eBook

20

Business Process Management Workshops BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005. Revised Selected Papers /

Published 2006

Table of Contents: “...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...”
View full text

Electronic eBook

Narrow Search