檢索結果 - intersections computing proceeding programmed interactive https

搜索替代詞:
intersections computing » interaction computing , interneurons computing , intersections rotating
programmed interactive » programmer's interactive , programming interactive , program interactive
proceeding programmed » processing programmed , breeding programmes , breeding programme
computing proceeding » computing proceedings , computing providing , computing protecting
interactive https » interaction https , interactions https , interactive hip

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

出版 2013

書本目錄: “... Games with Conditional Offers -- Sequent Calculi for Multi-modal Logic with Interaction -- Dynamic...”
獲取全文

電子電子書

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

出版 2013

書本目錄: “... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”
獲取全文

電子電子書

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

出版 2015

書本目錄: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
獲取全文

電子電子書

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

出版 2014

書本目錄: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
獲取全文

電子電子書

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

出版 2012

書本目錄: “... -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... -- Elementary Affine Logic and the Call-by-Value Lambda Calculus -- Rank-2 Intersection and Polymorphic...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...”
獲取全文

電子電子書

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 /

出版 2014

書本目錄: “...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...”
獲取全文

電子電子書

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

出版 2006

書本目錄: “... Geometry -- Algebraic Computation of Some Intersection D-Modules -- Plural, a Non–commutative Extension...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “...Elements of Interaction -- Enterprise Architecture as Language -- Real-Time Animation for Formal...”
獲取全文

電子電子書

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

出版 2006

書本目錄: “...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... of Connectivity -- Kernel Biased Discriminant Analysis Using Histogram Intersection Kernel for Content-Based Image...”
獲取全文

電子電子書

縮小搜索