Canlyniadau Chwilio - intersections computing proceedings program interactive https

1

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...”
Cael y testun llawn

Electronig eLyfr

3

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Cael y testun llawn

Electronig eLyfr

5

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
Cael y testun llawn

Electronig eLyfr

6

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
Cael y testun llawn

Electronig eLyfr

9

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...”
Cael y testun llawn

Electronig eLyfr

13

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...”
Cael y testun llawn

Electronig eLyfr

14

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...”
Cael y testun llawn

Electronig eLyfr

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 /

Cyhoeddwyd 2014

Tabl Cynhwysion: “...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...”
Cael y testun llawn

Electronig eLyfr

17

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Geometry -- Algebraic Computation of Some Intersection D-Modules -- Plural, a Non–commutative Extension...”
Cael y testun llawn

Electronig eLyfr

18

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Elements of Interaction -- Enterprise Architecture as Language -- Real-Time Animation for Formal...”
Cael y testun llawn

Electronig eLyfr

19

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Connectivity -- Kernel Biased Discriminant Analysis Using Histogram Intersection Kernel for Content-Based Image...”
Cael y testun llawn

Electronig eLyfr

20

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad