Hakutulokset - intersections computer processing ((program interactive) OR (programmed interactive)) https

Tarkoititko:
intersections computer » interactions computer , interventions computer , intersections completes
programmed interactive » programmer's interactive , programming interactive , programming interacting
computer processing » computer programming
program interactive » programs integrative , programs interaction , program interaktif

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

Julkaistu 2013

Sisällysluettelo: “... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”
Hae kokoteksti

Elektroninen E-kirja

Man-Machine Interactions 2

Julkaistu 2011

Sisällysluettelo: “... -- Part VI Sound, Text and Image Processing -- Part VII Design and Decision Support -- Part VIII Rough...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2015

Sisällysluettelo: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... -- Computerized Bone Age Assessment Using DCT and LDA -- Natural Image Matting Based on Neighbor Embedding...”
Hae kokoteksti

Elektroninen E-kirja

Business Process Management Workshops BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM...

Julkaistu 2006

Sisällysluettelo: “...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... for the Symmetric Interaction Combinators -- Two Session Typing Systems for Higher-Order Mobile Processes...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”
Hae kokoteksti

Elektroninen E-kirja

Computational Methods

Julkaistu 2006

Sisällysluettelo: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2014

Sisällysluettelo: “... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...”
Hae kokoteksti

Elektroninen E-kirja

Mobile 3D Graphics

Tekijä Malizia, Alessio., Malizia, Alessio.
Julkaistu 2006

Sisällysluettelo: “... -- Meshes and Sprites -- Animations -- Ray intersections -- Building an M3G demo -- Summary -- Direct 3D...”
Hae kokoteksti

Elektroninen E-kirja

Emerging Technologies for Information Systems, Computing, and Management

Julkaistu 2013

Sisällysluettelo: “...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”
Hae kokoteksti

Elektroninen E-kirja

Model-Driven Development of Advanced User Interfaces

Julkaistu 2011

Sisällysluettelo: “... GUI Generation with Optimization for Screens with Limited Resolution -- 3.1.3. Process-Centred Design...”
Hae kokoteksti

Elektroninen E-kirja

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, Proc...

Julkaistu 2014

Sisällysluettelo: “...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...”
Hae kokoteksti

Elektroninen E-kirja

Information Security and Cryptology 7th International Conference, Inscrypt 2011, Beijing, China, November 30 -- December 3, 2011. Revised Selected Papers /

Julkaistu 2012

Sisällysluettelo: “... Encryption with Non-interactive Opening -- Fast Tate Pairing Computation on Twisted Jacobi Intersections...”
Hae kokoteksti

Elektroninen E-kirja

Advanced Electrical and Electronics Engineering Volume 2 /

Julkaistu 2011

Sisällysluettelo: “... fusion Wiener filter with applied to signal processing -- Covariance Intersection Fusion Kalman Filter...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua