Search Results - intersections computer processing ((program interactive) OR (programs integrative)) 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

Man-Machine Interactions 2

Published 2011

Table of Contents: “... -- Part VI Sound, Text and Image Processing -- Part VII Design and Decision Support -- Part VIII Rough...”
View full text

Electronic eBook

3

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

Published 2007

Table of Contents: “... -- Computerized Bone Age Assessment Using DCT and LDA -- Natural Image Matting Based on Neighbor Embedding...”
View full text

Electronic eBook

4

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

5

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

Published 2007

Table of Contents: “... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”
View full text

Electronic eBook

6

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

Published 2006

Table of Contents: “...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...”
View full text

Electronic eBook

7

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

8

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

Published 2006

Table of Contents: “... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”
View full text

Electronic eBook

9

Parallel Processing and Applied Mathematics, Part I 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 /

Published 2010

Table of Contents: “...Parallel/Distributed Architectures and Mobile Computing -- Evaluating Performance of New Quad-Core...”
View full text

Electronic eBook

10

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

11

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

Published 2008

Table of Contents: “... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...”
View full text

Electronic eBook

12

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

Published 2008

Table of Contents: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
View full text

Electronic eBook

13

Computational Methods

Published 2006

Table of Contents: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
View full text

Electronic eBook

14

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

15

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

Published 2010

Table of Contents: “... Process Analysis Using PARDISO Solver -- Internet and Web Computing -- Heuristics Backtracking and a...”
View full text

Electronic eBook

16

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

17

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

Published 2010

Table of Contents: “...Workshop on Mobile Communications (MC 2010) -- A Control Loop Reduction Scheme for Wireless Process...”
View full text

Electronic eBook

18

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”
View full text

Electronic eBook

19

Model-Driven Development of Advanced User Interfaces

Published 2011

Table of Contents: “... Interfaces -- 2.1.4. Using Storyboards to Integrate Models and Informal Design Knowledge -- 3. User Interface...”
View full text

Electronic eBook

20

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

Published 2007

Table of Contents: “... for the Symmetric Interaction Combinators -- Two Session Typing Systems for Higher-Order Mobile Processes...”
View full text

Electronic eBook

Narrow Search