Search Results - intersections computing proceedings programmed interaction https

1

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

Published 2013

Table of Contents: “... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”
View full text

Electronic eBook

2

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /

Published 2013

Table of Contents: “... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...”
View full text

Electronic eBook

3

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

4

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

5

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Published 2005

Table of Contents: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
View full text

Electronic eBook

6

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference on Computer Vision/Computer Graphics, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007, Proceedings /

Published 2007

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

Electronic eBook

7

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

8

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

9

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

Published 2007

Table of Contents: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
View full text

Electronic eBook

10

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

11

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

12

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

Published 2012

Table of Contents: “... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...”
View full text

Electronic eBook

13

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...”
View full text

Electronic eBook

14

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

Published 2007

Table of Contents: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
View full text

Electronic eBook

15

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

Published 2007

Table of Contents: “... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...”
View full text

Electronic eBook

16

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Published 2014

Table of Contents: “...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...”
View full text

Electronic eBook

17

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

18

Complex Systems Design & Management Proceedings of the First International Conference on Complex Systems Design & Management CSDM 2010 /

Published 2010

Table of Contents: “...Elements of Interaction -- Enterprise Architecture as Language -- Real-Time Animation for Formal...”
View full text

Electronic eBook

19

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Published 2005

Table of Contents: “... of Connectivity -- Kernel Biased Discriminant Analysis Using Histogram Intersection Kernel for Content-Based Image...”
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