Canlyniadau Chwilio - intersections computing proceeding program control https

Chwilio eraill:
intersections computing » interaction computing , interneurons computing , intersections rotating
computing proceeding » computing proceedings , computing providing , computing protecting
proceeding program » proceedings program , processing program , processing programs
program control » program controls , programs control , progress control
https » http

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... in Intelligent Intersections -- LTLC: Linear Temporal Logic for Control -- Switched and PieceWise Nonlinear...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
Cael y testun llawn

Electronig eLyfr

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

Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”
Cael y testun llawn

Electronig eLyfr

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Cael y testun llawn

Electronig eLyfr

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

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

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

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

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Model by High-Resolution Central-Upwind Scheme -- User-Controllable GPGPU-Based Target-Driven Smoke...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Application of Mathematical Model in Road Traffic Control at Circular Intersection -- Research and Application...”
Cael y testun llawn

Electronig eLyfr

Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “...ALife Using Adaptive, Autonomous, and Individual Agent Control -- Computational Understanding...”
Cael y testun llawn

Electronig eLyfr

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Control on Traffic Light Networks -- Performance Measurement of a Dual-Channel Intersection Switch...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... for Shape Recovery -- Applying Intelligent Agents in Traffic Control for Traffic Intersection Groups...”
Cael y testun llawn

Electronig eLyfr

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II /

Cyhoeddwyd 2014

Tabl Cynhwysion: “...-Depth Uniform Threshold Circuits and the Bit-Complexity of Straight Line Programs -- Zero Knowledge...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Encodings -- A Lambda Calculus for Quantum Computation with Classical Control -- Continuity...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Solution of EOQ Problem -- Linear Reformulations of Integer Quadratic Programs -- Control of Some Graph...”
Cael y testun llawn

Electronig eLyfr

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

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Cael y testun llawn

Electronig eLyfr

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Computing -- Contributed Papers -- Robust Kinetic Convex Hulls in 3D -- On Dominance Reporting in 3D...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad